Biblio

Export 7 results:
Filters: Author is David Basin  [Clear All Filters]
2023
Krähenbühl C, Wyss M, Basin D, Lenders V, Perrig A, Strohmeier M.  2023.  FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. 32nd USENIX Security Symposium (USENIX Security 23). :5755--5772.
Basin D, Schaller P, Toro-Pozo J.  2023.  Inducing Authentication Failures to Bypass Credit Card PINs. 32nd USENIX Security Symposium (USENIX Security 23). :3065--3079.
Duan H, Fischer R, Lou J, Liu S, Basin D, Perrig A.  2023.  RHINE: Robust and High-performance Internet Naming with E2E Authenticity. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :531--553.
2022
Bollinger D, Kubicek K, Cotrini C, Basin D.  2022.  Automating Cookie Consent and GDPR Violation Detection. 31st USENIX Security Symposium (USENIX Security 22). :2893--2910.
2021
Basin D, Sasse R, Toro-Pozo J.  2021.  Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. 30th USENIX Security Symposium (USENIX Security 21). :179--194.
2020
Girol G, Hirschi L, Sasse R, Jackson D, Cremers C, Basin D.  2020.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. 29th USENIX Security Symposium (USENIX Security 20). :1857--1874.
2012
Reardon J, Capkun S, Basin D.  2012.  Data Node Encrypted File System: Efficient Secure Deletion for Flash Memory. 21st USENIX Security Symposium (USENIX Security 12). :333--348.