Felix Linker

According to our database, Felix Linker authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

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