AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. - Ringo Baumann; Felix Linker (JELIA, 2019)

ADEM: An Authentic Digital EMblem. - Felix Linker; David A. Basin (CCS, 2023)

SOAP: A Social Authentication Protocol. - Felix Linker; David A. Basin (USENIX Security Symposium, 2024)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (IACR Cryptol. ePrint Arch., 2024)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (Zenodo, 2025)

A Formal Analysis of Apple's iMessage PQ3 Protocol. - Felix Linker; Ralf Sasse; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)