Publications 2020
David Basin, Andreas Lochbihler, Seyed Reza Sefidgar
CryptHOL: Game-Based Proofs in Higher-Order Logic
In: Journal of Cryptology volume 33, pages494–566(2020)
[Download PDF (PDF, 1.3 MB) | external page DOI]
Mohammad Torabi Dashti, David Basin
A Theory of Black-Box Tests
In: arXiv, 2020
[Download BIB (BIB, 227 Bytes) | external page PDF | external page DOI]
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David Basin and Chiara Bodei
Natural Projection as Partial Model Checking
In: Journal of Automated Reasoning volume 64, pages1445–1481(2020)
[Download PDF (PDF, 1.2 MB) | external page DOI]
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth Paterson, Srdjan Capkun, David Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel Smart, Aysajan Abidin, Seda Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing.
In: arXiv, 2020
[Download BIB (BIB, 846 Bytes) | external page PDF | external page DOI]
Lucca Hirschi, Lara Schmid and David Basin
Fixing the Achilles Heel of E-Voting: The Bulletin Board
In: Cryptology ePrint Archive: Report 2020/109
[external page BIB | external page PDF | external page DOI]
Kevin Morio, Dennis Jackson, Marco Vassena and Robert Künnemann
Short Paper: Modular Black-box Runtime Verification of Security Protocols
To appear in: PLAS 2020.
[BIB | PDF | DOI]
Giacomo Giuliari, Tobias Klenze, Markus Legner, David Basin, Adrian Perrig, and Ankit Singla
Internet backbones in space
In: ACM SIGCOMM Computer Comunication Review (CCR) 50 (1) 2020.
[BIB | external page PDF | external page DOI]
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
In: OOPSLA 2020.
[Download BIB (BIB, 569 Bytes) | external page PDF | external page DOI | external page Permalink]
David Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting
In: CSF 2020
[external page BIB | Download PDF (PDF, 473 KB) | external page DOI]
Martin Raszyk, David Basin, Dmitriy Traytel
Multi-Head Monitoring of Metric Dynamic Logic
In: ATVA 2020.
[Download BIB (BIB, 707 Bytes) | Download PDF (PDF, 364 KB) | external page DOI]
David Basin, Matthieu Gras, Srđan Krstić, Joshua Schneider
Scalable Online Monitoring of Distributed Systems
In: RV 2020. LNCS 12399, Springer, pages 197–220.
[Download BIB (BIB, 670 Bytes) | Download PDF (PDF, 316 KB) | external page DOI]
Srđan Krstić, Joshua Schneider
A Benchmark Generator for Online First-Order Monitoring
In: RV 2020. LNCS 12399, Springer, pages 482–494.
[Download BIB (BIB, 631 Bytes) | Download PDF (PDF, 640 KB) | external page DOI]
David Basin, Thibault Dardinier, Lukas Heimes, Srđan Krstić, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
In: IJCAR 2020, Paris, France, July 2020. LNCS 12166, Springer, pages 432–453.
[Download BIB (BIB, 883 Bytes) | Download PDF (PDF, 286 KB) | external page DOI]
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors
In: IJCAR 2020, Paris, France, July 2020. LNCS 12167, Springer, pages 58–78.
[Download BIB (BIB, 726 Bytes) | Download PDF (PDF, 339 KB) | external page DOI]
Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, and Adrian Perrig.
EPIC: Every Packet is Checked in the Data Plane of a Path-Aware Internet Architecture
In: Usenix Security 2020.
[external page BIB | PDF | external page Permalink]
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
In: Usenix Security 2020.
[Download BIB (BIB, 524 Bytes) | Download PDF (PDF, 631 KB) | external page Permalink | external page DOI]
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David Basin, Adrian Perrig
SoK: Delegation and Revocation, the Missing Links in the Web’s Chain of Trust
In: EuroS&P 2020, 2020.
[Download BIB (BIB, 378 Bytes) | external page Permalink]
Si Liu, Atul Sandur, José Meseguer, Peter Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
In: NFM 2020, 2020
[Download BIB (BIB, 1 KB) | Download PDF (PDF, 622 KB) | external page DOI]
Sven Hammann, Ralf Sasse, David Basin
Privacy-Preserving OpenID Connect
15th AsiaCCS 2020, 2020
[Download BIB (BIB, 1 KB) | Download PDF (PDF, 531 KB) | external page DOI]
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Verification of Stateful Cryptographic Protocols with Exclusive OR
Journal of Computer Security, 28(1): 1-34 (2020)
[Download BIB (BIB, 650 Bytes) | Download PDF (PDF, 402 KB) | external page DOI]
Stephan Wesemeyer, Helen Treharne, Liqun Chen, Christopher Newton, Ralf Sasse, Jorden Whitefield
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme
15th AsiaCCS 2020, 2020
[Download BIB (BIB, 2 KB) | Download PDF (PDF, 1.1 MB) | external page DOI]