Felix Stutz

According to our database, Felix Stutz authored at least 15 papers between 2016 and 2026.

Collaborative distances:

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

2026

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking.

Elaine Li, Felix Stutz

CoRR, February, 2026

Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus

Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov

Information Security and Cryptography, Springer, ISBN: 978-3-032-08248-0, 2026

Improving Trust in Legal Automation: an Intelligible Approach for Consumer Complaints.

Alessandro Parenti, Felix Stutz, Tomer Libal

Proceedings of the Juggling Formal Methods and Security, 2026

2025

Characterizing Implementability of Global Protocols with Infinite States and Data.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proc. ACM Program. Lang., 2025

Honest Users Make Honest Mistakes: A Framework for Analysing eID Protocols.

Ole Martin Edstrøm, Kristian Gjøsteen, Hans Heum, Sjouke Mauw, Felix Stutz

IACR Cryptol. ePrint Arch., 2025

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols.

Felix Stutz, Emanuele D'Osualdo

Proceedings of the Programming Languages and Systems, 2025

Sprout: A Verifier for Symbolic Multiparty Protocols.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Implementability of Asynchronous Communication Protocols - The Power of Choice.

Felix Stutz

PhD thesis, 2024

Deciding Subtyping for Asynchronous Multiparty Sessions.

Elaine Li, Felix Stutz, Thomas Wies

Proceedings of the Programming Languages and Systems, 2024

2023

Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.

Felix Stutz

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Complete Multiparty Session Type Projection with Automata.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.

Felix Stutz, Damien Zufferey

Proceedings of the 13th International Symposium on Games, 2022

2021

Generalising Projection in Asynchronous Multiparty Session Types.

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo, Felix Stutz

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2016

PROSA: A Case for Readable Mechanized Schedulability Analysis.

Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016