Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Name: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
Start: 2022-03-23T11:00:00+01:00
Location: Fréjus, France

Slides

Date

Mar 23, 2022 11:00 AM

Event

Annual Meeting of the Working Group on Formal Methods for Security 2022

Location

Fréjus, France

Researcher

My research interests include formal methods, security, cryptographic protocols and privacy.