Sökning: "Datalogi"
Visar resultat 16 - 20 av 649 avhandlingar innehållade ordet Datalogi.
16. Aspects of Secure and Efficient Streaming and Collaboration
Sammanfattning : Research within the area of cryptography constitutes the core of this the- sis. In addition to cryptography, we also present results in peer-assisted streaming and web security. We present results on two specific cryptographic problems: broadcast encryption and secure multi-party computation. LÄS MER
17. Automated Deductive Verification of Safety-Critical Embedded Software
Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER
18. Proving Safety and Security of Binary Programs
Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER
19. On Complexity Measures in Polynomial Calculus
Sammanfattning : Proof complexity is the study of different resources that a proof needs in different proof systems for propositional logic. This line of inquiry relates to the fundamental questions in theoretical computer science, as lower bounds on proof size for an arbitrary proof system would separate P from NP. LÄS MER
20. Secure System Virtualization : End-to-End Verification of Memory Isolation
Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER