Search for dissertations about: "information-flow security"

Showing result 1 - 5 of 40 swedish dissertations containing the words information-flow security.

  2. 1. Flexible Information-Flow Control

    Author : Daniel Schoepe; Chalmers tekniska högskola; []
    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. 2. Information-Flow Tracking for Dynamic Languages

    Author : Luciano Bello; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; information security; information integrity; dependency analysis; information confidentiality; information flow; privacy;

    Abstract : This thesis explores information-flow tracking technologies and their applicability on industrial-scale dynamic programming languages. We aim to narrow the gap between the need for flexibility in current dynamic languages and the solid well-studied mechanisms from academia. READ MORE

  5. 3. Flexible and Practical Information-Flow Control

    Author : Daniel Schoepe; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software security; information flow;

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

  6. 4. Information Flow for Web Security and Privacy

    Author : Alexander Sjösten; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; browser extensions; side-effectful libraries; information-flow control; web security; filter list generation; browser fingerprinting;

    Abstract : The use of libraries is prevalent in modern web development. But how to ensure sensitive data is not being leaked through these libraries? This is the first challenge this thesis aims to solve. READ MORE

  7. 5. Information Erasure: An Information-Flow Approach to Semantics and Enforcement

    Author : Filippo Del Tedesco; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; erasure policies; erasure; information flow; enforcement; Python; security;

    Abstract : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. READ MORE