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)
[DownloadPDF (PDF, 1.3 MB)vertical_align_bottom | external pageDOIcall_made]
Mohammad Torabi Dashti, David Basin
A Theory of Black-Box Tests
In: arXiv, 2020
[DownloadBIB (BIB, 227 Bytes)vertical_align_bottom | external pagePDFcall_made | external pageDOIcall_made]
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)
[DownloadPDF (PDF, 1.2 MB)vertical_align_bottom | external pageDOIcall_made]
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
[DownloadBIB (BIB, 846 Bytes)vertical_align_bottom | external pagePDFcall_made | external pageDOIcall_made]
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 pageBIBcall_made | external pagePDFcall_made | external pageDOIcall_made]
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 pagePDFcall_made | external pageDOIcall_made]
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.
[DownloadBIB (BIB, 569 Bytes)vertical_align_bottom | external pagePDFcall_made | external pageDOIcall_made | external pagePermalinkcall_made]
David Basin, Sasa Radomirovic, Lara Schmid
Dispute Resolution in Voting
In: CSF 2020
[external pageBIBcall_made | DownloadPDF (PDF, 473 KB)vertical_align_bottom | external pageDOIcall_made]
Martin Raszyk, David Basin, Dmitriy Traytel
Multi-Head Monitoring of Metric Dynamic Logic
In: ATVA 2020.
[DownloadBIB (BIB, 707 Bytes)vertical_align_bottom | DownloadPDF (PDF, 364 KB)vertical_align_bottom | external pageDOIcall_made]
David Basin, Matthieu Gras, Srđan Krstić, Joshua Schneider
Scalable Online Monitoring of Distributed Systems
In: RV 2020. LNCS 12399, Springer, pages 197–220.
[DownloadBIB (BIB, 670 Bytes)vertical_align_bottom | DownloadPDF (PDF, 316 KB)vertical_align_bottom | external pageDOIcall_made]
Srđan Krstić, Joshua Schneider
A Benchmark Generator for Online First-Order Monitoring
In: RV 2020. LNCS 12399, Springer, pages 482–494.
[DownloadBIB (BIB, 631 Bytes)vertical_align_bottom | DownloadPDF (PDF, 640 KB)vertical_align_bottom | external pageDOIcall_made]
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.
[DownloadBIB (BIB, 883 Bytes)vertical_align_bottom | DownloadPDF (PDF, 286 KB)vertical_align_bottom | external pageDOIcall_made]
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.
[DownloadBIB (BIB, 726 Bytes)vertical_align_bottom | DownloadPDF (PDF, 339 KB)vertical_align_bottom | external pageDOIcall_made]
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 pageBIBcall_made | PDF | external pagePermalinkcall_made]
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.
[DownloadBIB (BIB, 524 Bytes)vertical_align_bottom | DownloadPDF (PDF, 631 KB)vertical_align_bottom | external pagePermalinkcall_made | external pageDOIcall_made]
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.
[DownloadBIB (BIB, 378 Bytes)vertical_align_bottom | external pagePermalinkcall_made]
Si Liu, Atul Sandur, José Meseguer, Peter Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
In: NFM 2020, 2020
[DownloadBIB (BIB, 1 KB)vertical_align_bottom | DownloadPDF (PDF, 622 KB)vertical_align_bottom | external pageDOIcall_made]
Sven Hammann, Ralf Sasse, David Basin
Privacy-Preserving OpenID Connect
15th AsiaCCS 2020, 2020
[DownloadBIB (BIB, 1 KB)vertical_align_bottom | DownloadPDF (PDF, 531 KB)vertical_align_bottom | external pageDOIcall_made]
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)
[DownloadBIB (BIB, 650 Bytes)vertical_align_bottom | DownloadPDF (PDF, 402 KB)vertical_align_bottom | external pageDOIcall_made]
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
[DownloadBIB (BIB, 2 KB)vertical_align_bottom | DownloadPDF (PDF, 1.1 MB)vertical_align_bottom | external pageDOIcall_made]