Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jannik Dreier
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Novel Approach for Reasoning About Liveness in Cryptographic Protocols and Its Application to Fair Exchange
Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation