Polytechnique Montréal

0 Followers

pi-calcul proverif protocole cryptographie vérification

See more

Presentations
Documents
Infographics

Latest Most Popular

Computing Information Flow Using Symbolic-Model-Checking_.pdf

2 years ago • 78 Views

Safety Verification of Deep Neural Networks_.pdf

2 years ago • 91 Views

A calculus of mobile Real-Time processes

6 years ago • 219 Views

Presentation

7 years ago • 329 Views

Analyse formelle des protocoles cryptographiques

8 years ago • 624 Views