Security researcher, working on cryptographic protocols and formal verification of security properties.
-
Microsoft Research
- Cambridge, UK
- http://antoine.delignat-lavaud.fr
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. ๐จโ๐จ๐จโ๐ป๐จโ๐ฌ
@yeslogic Melbourne, Australia
George Pรฎrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Fahad Ausaf
fahadausaf
PhD Researcher @ King's College London
King's College London London, United Kingdom
Jay Bosamiya
jaybosamiya
๐ฆ Software security researcher. PhD from CMU. BTech (CSE) from IIT Roorkee. Open source dev. CTFer (PPP).
Work account: @jaybosamiya-ms
Fida Hussain
CEHFIDA
I am Certified Ethical Hacker(CEH) & Certified Secure Computer User (CSCU) and doing Computer Hacking Forensic Investigator (CHFI).
Pakistan
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany