Sökning: "teoretisk datalogi"
Visar resultat 1 - 5 av 72 avhandlingar innehållade orden teoretisk datalogi.
1. Algorithmic Verification Techniques for Mobile Code
Sammanfattning : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can be divided into two steps. LÄS MER
2. Conditional Inapproximability and Limited Independence
Sammanfattning : Understanding the theoretical limitations of efficient computation is one of the most fundamental open problems of modern mathematics. This thesis studies the approximability of intractable optimization problems. In particular, we study so-called Max CSP problems. LÄS MER
3. Logics for Information Flow Security:From Specification to Verification
Sammanfattning : Software is becoming increasingly ubiquitous and today we find software running everywhere. There is software driving our favorite game application or inside the web portal we use to read the morning news, and when we book a vacation. LÄS MER
4. Social Networks and Privacy
Sammanfattning : Centralized online social networks pose a threat to their users’ privacy as social network providers have unlimited access to users’ data. Decentralized social networks address this problem by getting rid of the provider and giving control to the users themselves, meaning that only the end-users themselves should be able to control access of other parties to their data. LÄS MER
5. Source Code Representations of Deep Learning for Program Repair
Sammanfattning : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. LÄS MER