Search for dissertations about: "language-based security"

Showing result 1 - 5 of 7 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. Language Support for Controlling Timing-Based Covert Channels

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Alejandro Russo; [2008]
    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