Urmăriți
Michael Dixon
Michael Dixon
Los Alamos National Laboratory
Adresă de e-mail confirmată pe mdxn.org - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–4