Timing-Sensitive Information Flow Analysis for Synchronous Systems

DOI10.1007/11863908_16zbMath1487.68068OpenAlexW1536910713MaRDI QIDQ5862523

Boris Köpf, David A. Basin

Publication date: 9 March 2022

Published in: Computer Security – ESORICS 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11863908_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Cryptography (94A60) Computer security (68M25)

Related Items (1)

The complexity of synchronous notions of information flow security

Cites Work

• Unnamed Item
• Unnamed Item
• CCS expressions, finite state processes, and three problems of equivalence
• Quantitative Information Flow, Relations and Polymorphic Types
• Abstract non-interference
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• Three Partition Refinement Algorithms
• Transforming out timing leaks
• Foundations of Software Science and Computational Structures
• Formal Modeling and Analysis of Timed Systems
• Topics in Cryptology – CT-RSA 2006
• A per model of secure information flow in sequential programs

This page was built for publication: Timing-Sensitive Information Flow Analysis for Synchronous Systems