Felix Linker

According to our database, Felix Linker authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Looping for Good: Cyclic Proofs for Security Protocols.

Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin

Dataset, April, 2025

Looping for Good: Cyclic Proofs for Security Protocols.

Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin

Dataset, April, 2025

A Formal Analysis of Apple's iMessage PQ3 Protocol.

Felix Linker, Ralf Sasse, David A. Basin

Dataset, March, 2025

A Formal Analysis of Apple's iMessage PQ3 Protocol.

Felix Linker, Ralf Sasse, David A. Basin

Dataset, January, 2025

2024

A Formal Analysis of Apple's iMessage PQ3 Protocol.

Felix Linker, Ralf Sasse, David A. Basin

IACR Cryptol. ePrint Arch., 2024

SOAP: A Social Authentication Protocol.

Felix Linker, David A. Basin

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

ADEM: An Authentic Digital EMblem.

Felix Linker, David A. Basin

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2019

AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.

Ringo Baumann, Felix Linker

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019