10 citations · 13 across the 6 of their papers we have counts for
4 papers · 1 filter
Formally Verifying Noir Zero Knowledge Programs with NAVe
Pedro Antonino, Namrata Jain
Zero-Knowledge (ZK) proof systems are cryptographic protocols that can (with overwhelming probability) demonstrate that the pair is in a relation without revealing inf…
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
Pedro Antonino, Ante Derek, Wojciech Aleksander Wołoszyn
We propose a protocol that explores a synergy between two TEE implementations: it brings SGX-like remote attestation to SEV VMs. We use the notion of a \emph{trusted guest owner},…
Trusted And Confidential Program Analysis
Han Liu, Pedro Antonino, Zhiqiang Yang +2
We develop the concept of Trusted and Confidential Program Analysis (TCPA) which enables program certification to be used where previously there was insufficient trust. Imagine a s…
Guardian: symbolic validation of orderliness in SGX enclaves
Pedro Antonino, Wojciech Aleksander Wołoszyn, A. W. Roscoe
Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can ru…