Seguir
Michael Dixon
Michael Dixon
Los Alamos National Laboratory
Dirección de correo verificada de mdxn.org - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4