Security Engineer
Talks
These are some of the talks that I've given
| Aug 2021 | Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions 30th USENIX Security Symposium, Virtual |
| May 2021 | The EMV Standard: Break, Fix, Verify 42nd IEEE Symposium on Security and Privacy (S&P), Virtual |
| May 2021 | Trustworthy Components by Example of Security Protocols Swiss Support Center for Cybersecurity (SSCC) Workshop on Dependencies, Virtual |
| Sep 2021 | Computational and Symbolic Analysis of Distance-Bounding Protocols Security and Trust Management (STM) Workshop 2020, Virtual |
| Nov 2018 | Collusion in Security Protocols: Terrorist Fraud as a Use Case Infsec Group seminar at ETHZ, Zurich, Switzerland |
| Oct 2018 | Distance Bounding Protocols: Verification without Time and Location CISPA, Saarbrucken, Germany |
| Apr 2018 | Distance Bounding Protocols: Computational vs. Symbolic Models FutureDB Workshop, Azores, Portugal |
| Dec 2017 | Distance-Bounding Protocols: Verification without Time and Location Infsec Group seminar at ETHZ, Zurich, Switzerland |
| Nov 2017 | On Symbolic Verification of Distance-Bounding Protocols CRYPTACUS’17, Nijmegen, The Netherlands |
| Mar 2017 | On the Optimality of Secure Distance Bounding Grande Region Security and Reliability Day 2017, Luxembourg |
| Dec 2016 | Optimality Results on the Security of Lookup-Based Protocols 12th Radio Frequency Identification and IoT Security Workshop (RFIDSec), Hong Kong, China |
| Mar 2016 | A class of precomputation-based distance-bounding protocols Grande Region Security and Reliability Day 2016, Nancy, France |