Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Arjan J. Mooij

Invariant-Based Reasoning About Parameterized Security Protocols

Formal Aspects of Computing

Theoretical Computer Science

English