Tempus fugit: How to plug it
From MaRDI portal
Publication:997994
DOI10.1016/J.JLAP.2007.02.007zbMATH Open1119.68051OpenAlexW2150488274MaRDI QIDQ997994FDOQ997994
Authors: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky, Igor A. Siveroni 
Publication date: 10 August 2007
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2007.02.007
Recommendations
Cites Work
- Bisimulation through probabilistic testing
- Three Partition Refinement Algorithms
- Handbook of process algebra
- Transforming out timing leaks
- Optimal state-space lumping in Markov chains
- Reactive, generative, and stratified models of probabilistic processes
- Finite Continuous Time Markov Chains
- Title not available (Why is that?)
- Probabilistic extensions of process algebras.
- Quantitative relations and approximate process equivalences.
- Measuring the confinement of probabilistic systems
- A simple framework for real-time cryptographic protocol analysis with compositional proof rules
- Title not available (Why is that?)
Cited In (13)
- On the incomparability of cache algorithms in terms of timing leakage
- Remote IP protection using timing channels
- Title not available (Why is that?)
- Transforming out timing leaks
- Output-sensitive information flow analysis
- Title not available (Why is that?)
- Slot games for detecting timing leaks of programs
- Formal methods and automated tool for timing-channel identification in TCB source code
- Output-sensitive information flow analysis
- Quantitative mitigation of timing side channels
- Verifying secrets and relative secrecy
- Formal models of timing attacks on web privacy
- Discriminating traces with time
This page was built for publication: Tempus fugit: How to plug it
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997994)
