Sökning: "secure compilation"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden secure compilation.

1. 1. Generating Optimized and Secure Binary Code

   Författare :Rodothea Myrsini Tsoupidi; Elena Troubitsyna; Panagiotis Papadimitratos; Fernando Magno Quintão Pereira; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; constraint programming; code optimization; secure compilation; side-channel attacks; code-reuse attacks; software security; villkorsprogrammering; kodoptimering; säker kompilering; sidokanalsattacker; kodåteranvändningsattacker; mjukvarusäkerhet; Informations- och kommunikationsteknik; Information and Communication Technology; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : The increased digitalization of modern societies has resulted in a proliferation of a broad spectrum of embedded devices, ranging from personal smartphones and heart pacemakers to large-scale industrial IoT systems. Since they often handle various sensitive data, these devices increasingly become the targets of cyberattacks that threaten the integrity of personal data, financial security, and sometimes even people’s safety. LÄS MER

3. 2. Protecting Functional Programs From Low-Level Attackers

   Författare :Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

   Sammanfattning : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. LÄS MER

4. 3. Towards Development of Safe and Secure Java Card Applets

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

   Sammanfattning : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. LÄS MER

5. 4. Rättssäkerhet och tvångsvård : En rättssociologisk studie

   Författare :Annika Staaf; Rättssociologiska institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; LVM.; Addiction; Human service organizations; Systems theory; Socio-legal; Compulsory treatment and care; Legal security; Social sciences; Sociology; Samhällsvetenskaper; Sociologi;

   Sammanfattning : Compulsory treatment and care is regulated by the Care of Alcoholics and Drug abusers Act (Lag (1988:870) om vård av missbrukare i vissa fall, LVM). The regulation's main purpose is to motivate persons with addictive problems to voluntarily participate in the treatment of their problems. LÄS MER

7. 5. Risk Aware Path Planning and Dynamic Obstacle Avoidance towards Enabling Safe Robotic Missions

   Författare :Samuel Karlsson; George Nikolakopoulos; Georgia Chalvatzaki; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Robotic; Path planning; Obstacle avoidanc; Robotic missions; licenti thesis; Robotics and Artificial Intelligence; Robotik och artificiell intelligens;

   Sammanfattning : This compilation thesis presents two main contributions in path planning and obstacle avoidance, as well as an integration of the proposed modules with other frameworks to enable resilient robotic missions in complex environments.In general, through different types of robotic missions it is important to have a collision tolerant and reliable system, both regarding potential risks from collisions with dynamic and static obstacles, but also to secure the overall mission success. LÄS MER