Stéphanie Delaune

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 45

Top Topics

Security Protocols

Partial Order Reduction

Automated Design

Top Venues

IACR Cryptol. ePrint Arch.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications