Security researcher, working on cryptographic protocols and formal verification of security properties.
-
Microsoft Research
- Cambridge, UK
- http://antoine.delignat-lavaud.fr
Search results
0 open and 0 closed projects found.-
There aren't any projects yet