Security researcher, working on cryptographic protocols and formal verification of security properties.
-
Microsoft Research
- Cambridge, UK
- http://antoine.delignat-lavaud.fr
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.