Search for dissertations about: "language-based security"

Showing result 6 - 10 of 14 swedish dissertations containing the words language-based security.

2. 6. Guarding the Boundary: Information Flow Tracking in the Presence of Libraries

   Author : Alexander Sjösten; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; web security; browser extensions; large-scale study; language-based security; information-flow control; side-effectful libraries;

   Abstract : In modern software development, the use of libraries is prevalent. Libraries pose a big security challenge. How can we ensure that sensitive data is not being leaked through libraries? This is the first question of the thesis. READ MORE

4. 7. Principled Flow Tracking in IoT and Low-Level Applications

   Author : Iulia Bastys; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; WebAssembly apps; automatic labeling; IoT apps; enforcement granularity; design principles; information-flow control; language-based security;

   Abstract : Significant fractions of our lives are spent digitally, connected to and dependent on Internet-based applications, be it through the Web, mobile, or IoT. All such applications have access to and are entrusted with private user data, such as location, photos, browsing habits, private feed from social networks, or bank details. READ MORE

5. 8. Securing functional programs with floating-label information-flow control

   Author : Pablo Buiras; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

   Abstract : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. READ MORE

6. 9. Language Support for Controlling Timing-Based Covert Channels

   Author : Alejandro Russo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; information-flow; language-based security; semaphores; non-interference; Haskell; library; concurrency; internal timing covert channel;

   Abstract : The problem of controlling information flow in multithreaded programs remains an important open challenge.A major difficulty for tracking information flow in concurrent programs is due to the internal timing covert channel. READ MORE

7. 10. Foundations of Information-Flow Control and Effects

   Author : Carlos Tomé Cortiñas; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information-flow control; Programming languages; Language-based security;

   Abstract : In programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data, on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations. READ MORE