University of Luxembourg

About: University of Luxembourg is a education organization based out in Luxembourg, Luxembourg. It is known for research contribution in the topics: Context (language use) & Computer science. The organization has 4744 authors who have published 22175 publications receiving 381824 citations.

Attack-Defense Trees

Abstract: The advent of the information age has notably amplified the importance of security. Unfortunately security considerations still widely occur as an afterthought. For many companies, security is not a requirement to conduct business and is therefore readily neglected. However the lack of security may obstruct, impede and even ruin an otherwise flourishing enterprise. Only when internal computer networks shut down, web portals are inaccessible, mail servers are attacked, or similar incidents affect the day to day business of an enterprise, security enters into the field of vision of companies. As such, security by design is only slowly becoming accepted practice. Amongst security researchers, there is no dispute that a reasonable approach to- wards uninterrupted business activities includes security measures and controls from the beginning. To support these efforts, many security models have been developed. Graphical security models are a type of security model that help illus- trate and guide the consideration of security throughout the lifecycle of a product, system or company. Their visual properties are especially well-suited to elucidate security requirements and corresponding security measures. During the last four years, we have developed a new graphical security model called attack–defense trees. The new framework, presented in this thesis, generalizes the well-known attack trees model. Attack–defense trees formally extend attack trees and enhance them with defenses. To be able to deploy attack–defense trees as a security support tool, we have equipped them with three different syntaxes: A visually appealing, graph-based syntax that is dedicated to representing security problems, an algebraic, term-based syntax that simplifies correct, formal and quantitative analysis of security scenarios and a textual syntax that is a compromise between succinct, visual representation and easy, computerized input. We have also equipped attack–defense trees with a variety of semantics. This became necessary, since different applications require different interpretations of attack–defense trees. Besides the very specific and problem oriented propositional, De Morgan and multiset semantics, we have introduced equational semantics. The latter semantics is, in fact, an alternative, unified presentation of semantics based on equational theory. We have expressed the propositional and the multiset seman- tics in terms of the equational semantics. This facilitates algorithmic treatment since the two different semantics have a unified formal foundation. To be able to perform quantitative security analysis, we have introduced the notion of an attribute for attack–defense trees. To guarantee that the evaluation of an attribute on two or more semantically equal attack–defense trees results in the same value, we have introduced the notion of a compatibility condition between semantics and attributes. We have also provided usability guidelines for attributes. These guidelines help a user to specify security-relevant questions that can unambiguously be answered using attributes. We have performed several case studies that allowed us to test and improve the attack–defense tree methodology. We have provided detailed explanations for our design choices during the case studies as well as extensive applicability guidelines that serve a prospective user of the attack–defense tree methodology as a user manual. We have demonstrated the usefulness of the formal foundations of attack–defense trees by relating attack–defense terms to other scientific research disciplines. Con- cretely, we have shown that attack–defense trees in the propositional semantics are computationally as complex as propositional attack trees. Moreover, we have described how to merge Bayesian networks with attack–defense trees and have il- lustrated that attack–defense trees in the propositional semantics are equivalent to a specific class of games frequently occurring in game theory. Concluding the thesis, we have related the attack–defense tree methodology to other graphical security models in an extensive literature overview over similar methodologies.

How Common is Men's Self-Reported Sexual Interest in Prepubescent Children?

Abstract: Consistent evidence exists for sexual interest in children in nonclinical/nonforensic male populations. However, prevalences for community men's self-reported sexual interest in children have been based on indiscriminate definitions including postpubescent individuals, age-restricted samples, and/or small convenience samples. The present research assessed men's self-reported sexual interest in children (including child prostitution and child sex tourism) on the community level and examined the link between strictly defined sexual fantasies and behaviors involving prepubescent children. In an online survey of 8,718 German men, 4.1% reported sexual fantasies involving prepubescent children, 3.2% reported sexual offending against prepubescent children, and 0.1% reported a pedophilic sexual preference. Sexual fantasies involving prepubescent children were positively related to sexual offending against prepubescent children. Sexual interest in children was associated with subjectively perceived need for therapeutic help. In contrast to findings from forensic samples, men who reported child pornography use exclusively were identified as a subgroup differing from contact sexual offenders against prepubescent children and men who reported both child pornography use and contact sexual offenses against prepubescent children. The empirical link between child-related sexual fantasies and sexual victimization of prepubescent children and high levels of subjective distress from this inclination underscore the importance of evidence-based child sexual abuse prevention approaches in the community. Findings are discussed in terms of their relation to pedophilic disorder.

Fundamentals and advances in magnetic hyperthermia

Abstract: Nowadays, magnetic hyperthermia constitutes a complementary approach to cancer treatment. The use of magnetic particles as heating mediators, proposed in the 1950s, provides a novel strategy for improving tumor treatment and, consequently, patient quality of life. This review reports a broad overview about several aspects of magnetic hyperthermia addressing new perspectives and the progress on relevant features such as the ad hoc preparation of magnetic nanoparticles, physical modeling of magnetic heating, methods to determine the heat dissipation power of magnetic colloids including the development of experimental apparatus and the influence of biological matrices on the heating efficiency.

Functional Metabolic Map of Faecalibacterium prausnitzii, a Beneficial Human Gut Microbe

Abstract: The human gut microbiota plays a central role in human well-being and disease. In this study, we present an integrated, iterative approach of computational modeling, in vitro experiments, metabolomics, and genomic analysis to accelerate the identification of metabolic capabilities for poorly characterized (anaerobic) microorganisms. We demonstrate this approach for the beneficial human gut microbe Faecalibacterium prausnitzii strain A2-165. We generated an automated draft reconstruction, which we curated against the limited biochemical data. This reconstruction modeling was used to develop in silico and in vitro a chemically defined medium (CDM), which was validated experimentally. Subsequent metabolomic analysis of the spent medium for growth on CDM was performed. We refined our metabolic reconstruction according to in vitro observed metabolite consumption and secretion and propose improvements to the current genome annotation of F. prausnitzii A2-165. We then used the reconstruction to systematically characterize its metabolic properties. Novel carbon source utilization capabilities and inabilities were predicted based on metabolic modeling and validated experimentally. This study resulted in a functional metabolic map of F. prausnitzii, which is available for further applications. The presented workflow can be readily extended to other poorly characterized and uncharacterized organisms to yield novel biochemical insights about the target organism.