Number of items at this level: 12.
Article
Cohn-Gordon, Katriel and Cremers, Cas and Garratt, Luke and Millican, Jon and Milnber, Kevin
(2018)
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
(In Press)
Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018)
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
POST 2018.
Conference or Workshop Item
Backes, Michael and Dürmuth, Markus and Gerling, Sebastian and Pinkal, Manfred and Sporleder, Caroline
(2010)
Acoustic Side-Channel Attacks of Printers.
Baumann, Christoph and Guanciale, Roberto and Nemati, Hamed and Dam, Mads
(2018)
Verifying System Level Information Flow Using Confidentiality-Preserving Refinement.
(Submitted)
Bloem, Roderick and Jacobs, Swen and Vizel, Yakir
(2019)
Efficient Information-Flow Verification under Speculative Execution.
(In Press)
Dax, Alexander and Tangermann, Sven and Künnemann, Robert and Backes, Michael
(2019)
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11.
(In Press)
Fey, G\"rschwin and Ghasempouri, Tara and Jacobs, Swen and Martino, Gianluca and Raik, Jaan and Riener, Heinz
(2018)
Design Understanding: From Logic to Specification.
Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018)
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
Thesis
Gerling, Sebastian
(2009)
Acoustic Side-Channel Attacks on Printers.
Masters thesis, Saarland University.
Lutz, Joachim
(2012)
Model-based Monitoring for Sensitive SCADA Systems.
Bachelors thesis, Saarland University.
Peter, Philip
(2012)
Autonomous UAV.
Bachelors thesis, Saarland University.
Tombers, Stefan
(2011)
Low-Cost Byzantine Fault Tolerant Replication for a Cloud Environment.
Bachelors thesis, Saarland University.
This list was generated on Thu Dec 12 00:02:21 2019 CET.