Biondi, Fabrizio

Security and Privacy of Protocols and Software with Formal Methods

2016 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience