Transforming out timing leaks
From MaRDI portal
Publication:5178841
DOI10.1145/325694.325702zbMath1323.68399MaRDI QIDQ5178841
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
94A60: Cryptography
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
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, Noninterference for concurrent programs and thread systems, More Typed Assembly Languages for Confidentiality