Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Köpf, Boris - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)
Automatic Discovery and Quantification of Information Leaks Michael Backes
Approximation and Randomization for Quantitative Information-Flow Analysis
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks
Eliminating Implicit Information Leaks by Transformational Typing and Unification
Eliminating Timing Leaks by Unification (Extended Abstract)
Technical Report No. 498 Eliminating Implicit Information Leaks by
Detecting Timing Leaks in Hardware Semester Thesis
Speaker Recognition in Encrypted Voice Streams Michael Backes1,2
A Provably Secure And Efficient Countermeasure Against Timing Attacks
Technical Report No. 526 Timing-Sensitive Information Flow Analysis for
Non-Uniform Distributions in Quantitative Information-Flow Michael Backes
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks
ETH Dissertation 17500 Formal Approaches to Countering
