Michael Dixon
|
Research Scientist, Cryptographer, and Cyber Security Engineer
|
About
I am a computer scientist and researcher focusing on cyber security, cryptography, formal methods, and national security. I am currently a Senior Cyber Security Research Scientist and Principal Investigator in the Advanced Research in Cyber Systems (A-4) group at Los Alamos National Laboratory. I lead laboratory efforts in cryptography and formal methods research.
My research portfolio encompasses over $19 million in funding as PI or co-PI.
Primary Research Areas of Interest:
- Advanced Cryptography: Zero-knowledge Proofs, Secure Multi-party Computation, Fully Homomorphic Encryption, Obfuscation
- Artificial Intelligence Security: Assurance, Arms Control, Verification, Deepfake Detection, Adversarial Robustness
- Formal Verification: Cryptographic Protocol Verification, Provable System Security, SAT/SMT Solvers
- Cyber Physical Security: Anti-tamper, Physical Unclonable Functions
Email: Click to Request
Profiles: Linkedin StackExchange
Education:
- Massachusetts Institute of Technology
-
Advanced Study Program Fellowship |
2018 |
Course 6: Electrical Engineering and Computer Science |
|
- University of Michigan, College of Engineering
-
B.S.E in Computer Science Engineering |
2016 |
Minor in Mathematics |
|
Recent Work & Research Experience:
- Los Alamos National Laboratory, Los Alamos, NM
Senior Cyber Security Research Scientist |
2019 - Present |
- Charles Stark Draper Laboratory, Cambridge, MA
Cyber Security Research & Development Engineer |
2017 - 2019 |
Massachusetts Institute of Technology, Cambridge, MA
Undergraduate Researcher |
2012 |
The MITRE Corporation, McLean, VA & Ft. Meade, MD
-
Cyber Security Research Intern |
2009 - 2010 |
-
Publications:
- Learnability of Optical Physical Unclonable Functions through the Lens of Learning with Errors
- Pending Publication
- Apollo Albright, Boris Gelfand, Michael Dixon
- [PDF] [ArXiV]
- zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness
- IACR ePrint Archive
Zachary DeStefano, Dani Barrack, Michael Dixon
- [PDF] [IACR]
- Using Binary Analysis Frameworks: The Case for BAP and angr
NASA Formal Methods 2019
Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon & Dustin Jamner
[PDF] [Publisher]
|
|
|