Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Benedikt Schmidt

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy