Sökning: "informationsläckage"

Hittade 4 avhandlingar innehållade ordet informationsläckage.

  1. 1. Pointwise Maximal Leakage : Robust, Flexible and Explainable Privacy

    Författare :Sara Saeidian; Tobias J. Oechtering; Mikael Skoglund; Giulia Cervia; Catuscia Palamidessi; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Privacy; information leakage; pointwise maximal leakage; disclosure prevention; inferential privacy; mechanism design.; Dataintegritet; informationsläckage; punktvist maximalt läckage; avslöjningsprevention; inferentiell dataintegritet; mekanismdesign.; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : For several decades now, safeguarding sensitive information from disclosure has been a key focus in computer science and information theory. Especially, in the past two decades, the subject of privacy has received significant attention due to the widespread collection and processing of data in various facets of society. LÄS MER

  3. 2. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  4. 3. Quantum error correction

    Författare :Jonas Almlöf; Gunnar Björk; Jan-Åke Larsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; quantum error correction; dissipative channel; decoherence; fidelity; mutual information;

    Sammanfattning : This thesis intends to familiarise the reader with quantum error correction, and also show some relations to the well known concept of information - and the lesser known quantum information. Quantum information describes how information can be carried by quantum states, and how interaction with other systems give rise to a full set of quantum phenomena, many of which have no correspondence in classical information theory. LÄS MER

  5. 4. Defense of Cyber-Physical Systems Against Learning-based Attackers

    Författare :Rijad Alisic; Henrik Sandberg; Karl H. Johansson; Miroslav Pajic; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Control Theory; Security; Privacy; Machine Learning; Cyber-Physical Systems; Change Point Problems; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Cyberattacks against critical infrastructures pose a serious threat to society, as they can have devastating consequences on the economy, security, or public health. These infrastructures rely on a large network of cyber components, such as sensors, controllers, computers, and communication devices, to monitor and control their physical processes. LÄS MER