Elise Klein
Elise Klein
Affiliation: Université de Lorraine, CNRS, Inria, LORIA
Talks
(CSF)
Tamarin Unchained: Handling User-Defined AC Operators · Symbolic Protocol Verification
Pages in this Program
Program
Program on Monday, 27 July 2026
CSF on Monday, 27 July 2026
CSF Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑