Explore projects

This is a LaTeX template suggestion for a Bachelor's or Master's thesis.

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.

Published at SIGMOD 2023.

Published at EDBT 2023.

Published at CIDR 2023.