Search for dissertations about: "language-based security"

Showing result 1 - 5 of 8 swedish dissertations containing the words language-based security.

  1. 1. Program Analysis Issues in Language Based Security

    Author : Daniel Hedin; [2008]

    Abstract : .... READ MORE

  2. 2. Securing Interactive Systems

    Author : Willard Thor Rafnsson; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

    Abstract : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. READ MORE

  3. 3. Flexible Information-Flow Control

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Daniel Schoepe; [2018]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software security; information-flow control; program verification; language-based security;

    Abstract : As more and more sensitive data is handled by software, its trustworthiness becomes an increasingly important concern. This thesis presents work on ensuring that information processed by computing systems is not disclosed to third parties without the user's permission; i.e. to prevent unwanted flows of information. READ MORE

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

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Alexander Sjösten; [2018]
    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

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

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Pablo Buiras; [2016]
    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