Results 41 to 50 of about 44,792 (262)
THREATGET: Towards Automated Attack Tree Analysis for Automotive Cybersecurity
The automotive domain is moving away from simple isolated vehicles to interconnected networks of heterogeneous systems forming a complex transportation infrastructure. The additional means of communication result in increased attack surfaces which can be
Sebastian Chlup +5 more
doaj +1 more source
Computational Aspects of Attack–Defense Trees [PDF]
Attack---defense trees extend attack trees with defense nodes. This richer formalism allows for a more precise modeling of a system's vulnerabilities, by representing interactions between possible attacks and corresponding defensive measures. In this paper we compare the computational complexity of both formalisms.
Barbara Kordy +2 more
openaire +2 more sources
Long‐term hippocampal alterations and cognitive impairment in a murine model of surgical sepsis
Using a mouse model of surgical sepsis, we tested long‐term memory and analyzed the transcriptome of single cells isolated from the hippocampus. Survivor mice showed worse memory, loss of certain brain cell subpopulations, and abnormal immune cell activity—suggesting that post‐sepsis brain alterations may be linked to cognitive deficits.
Dong Seong Cho +4 more
wiley +1 more source
Refinement-Aware Generation of Attack Trees [PDF]
Attack trees allow a security analyst to obtain an overview of the potential vulnerabilities of a system. Due to their refinement structure, attack trees support the analyst in understanding the system vulnerabilities at various levels of abstraction. However, contrary to manually synthesized attack trees, automatically generated attack trees are often
Olga Gadyatskaya +4 more
openaire +2 more sources
Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs
Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner +7 more
wiley +1 more source
Small RNA pathways in mammalian oocytes
Three distinct small RNA pathways operate in mammalian oocytes: RNAi interference (RNAi), the microRNA (miRNA) pathway, and the PIWI‐associated RNA (piRNA) pathway. These pathways use small RNAs to guide sequence‐specific repression and contribute to oocyte biology by targeting genes and mobile elements or appear insignificant since different ...
Petr Svoboda, Josef Pasulka
wiley +1 more source
A Two‐Stage Questionnaire and Actigraphy Screening for iRBD in a Multicenter Retrospective Cohort
ABSTRACT Objective Isolated rapid‐eye‐movement sleep behavior disorder is a prodromal marker of synucleinopathies. However, most cases remain undiagnosed due to the insufficient predictive value of questionnaires and limited access to confirmatory video‐polysomnography. We assessed a two‐stage screening strategy combining a brief questionnaire on rapid‐
Caleb A. Massimi +17 more
wiley +1 more source
This study determines the prevalence of shea butter tree attack by the African mistletoe and stem borers, explores statistical relationship between prevalence, land use and tree morphological traits.
Dossou Seblodo Judes Charlemagne Gbemavo +3 more
doaj +1 more source
Survey: Automatic generation of attack trees and attack graphs [PDF]
Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These classes of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual construction of these models can be tedious, especially for large enterprises.
Alyzia Maria Konsta +3 more
openaire +1 more source
Quantitative Questions on Attack–Defense Trees [PDF]
Attack-defense trees are a novel methodology for graphical security modeling and assessment. The methodology includes visual, intuitive tree models whose analysis is supported by a rigorous mathematical formalism. Both, the intuitive and the formal components of the approach can be used for quantitative analysis of attack-defense scenarios. In practice,
Barbara Kordy +2 more
openaire +4 more sources

