Claudia Raffaelli
Projektass. Dott. mag.
My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.
Roles
- PreDoc Researcher
Projektass. Dott. mag.
My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.