Follow
Michael Dixon
Michael Dixon
Los Alamos National Laboratory
Verified email at mdxn.org - Homepage
Title
Cited by
Cited by
Year
Using binary analysis frameworks: The case for BAP and angr
C Casinghino, JT Paasch, C Roux, J Altidor, M Dixon, D Jamner
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
82019
Polynomial Bounds for Learning Noisy Optical Physical Unclonable Functions and Connections to Learning With Errors
A Albright, B Gelfand, M Dixon
arXiv preprint arXiv:2308.09199, 2023
2023
zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness
Z DeStefano, D Barrack, M Dixon
Cryptology ePrint Archive, 2022
2022
Using Binary Analysis Frameworks: The Case for BAP and angr
M Dixon, D Jamner
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–4