Andrew Miller

Google Scholar
4 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
Formalizing Soundness Proofs of Linear PCP SNARKs.
Bolton Bailey Andrew Miller
2020
conf/ndss
Custos: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution.
Filters
Years:  to