We stand with Ukraine  

Felix Linker

Orcid: 0009-0000-7886-4480

According to our database1, Felix Linker authored at least 13 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, August, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, August, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, August, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, July, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, April, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Dataset, April, 2025

A Formal Analysis of Apple's iMessage PQ3 Protocol.
[BibTeX]
[DOI]
Felix Linker
,
Ralf Sasse
,
David A. Basin
Dataset, March, 2025

A Formal Analysis of Apple's iMessage PQ3 Protocol.
[BibTeX]
[DOI]
Felix Linker
,
Ralf Sasse
,
David A. Basin
Dataset, January, 2025

A Formal Analysis of Apple's iMessage PQ3 Protocol.
[BibTeX]
[DOI]
Felix Linker
,
Ralf Sasse
,
David A. Basin
Proceedings of the 34th USENIX Security Symposium, 2025

Looping for Good: Cyclic Proofs for Security Protocols.
[BibTeX]
[DOI]
Felix Linker
,
Christoph Sprenger
,
Cas Cremers
,
David A. Basin
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024
SOAP: A Social Authentication Protocol.
[BibTeX]
[DOI]
Felix Linker
,
David A. Basin
Proceedings of the 33rd USENIX Security Symposium, 2024

2023
ADEM: An Authentic Digital EMblem.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ringo Baumann
,
Felix Linker
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019


  Loading...