Claudia Raffaelli
Projektass. Dott. mag.
Research Areas
- Formal Methods, Cybersecurity
About
My focus is on formal methods leveraging program verification and type theory to prove security properties of systems such as cryptographic protocols.
Role
-
PreDoc Researcher
Security and Privacy, E192-06