Transforming out timing leaks

DOI10.1145/325694.325702MaRDI QIDQ5178841zbMATH OpenOpenAlexFDO

Authors Johan Agat

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/325694.325702

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)

Recommendations

• Tempus fugit: How to plug it
• scientific article; zbMATH DE number 2090700
• Slot games for detecting timing leaks of programs
• Probabilistic information flow security
• Parametric Timed Model Checking for Guaranteeing Timed Opacity

Cited in

(26)

• Noninterference for concurrent programs and thread systems
• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• A better composition operator for quantitative information flow analyses
• System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
• Formal verification of side-channel countermeasures using self-composition
• The complexity of synchronous notions of information flow security
• Efficient Information-Flow Verification Under Speculative Execution
• Discriminating traces with time
• Timing-Sensitive Noninterference through Composition
• More Typed Assembly Languages for Confidentiality
• Measuring the Speed of Information Leakage in Mobile Processes
• scientific article; zbMATH DE number 1948408 (Why is no real title available?)
• scientific article; zbMATH DE number 2090700 (Why is no real title available?)
• Slot games for detecting timing leaks of programs
• Flexible dynamic information flow control in the presence of exceptions
• Output-sensitive information flow analysis
• Formal methods and automated tool for timing-channel identification in TCB source code
• Timing-sensitive information flow analysis for synchronous systems
• Output-sensitive information flow analysis
• Quantitative mitigation of timing side channels
• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
• Filling out the gaps: a padding algorithm for transforming out timing leaks
• Relational bytecode correlations
• Securing interaction between threads and the scheduler in the presence of synchronization
• Typing noninterference for reactive programs
• Tempus fugit: How to plug it

This page was built for publication: Transforming out timing leaks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178841)