Gustavo Petri

collaborators

2 papers

cs.CR2025

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks

Ceren KocaoÄullar, Gustavo Petri, Dominic P. Mulligan +4

Trusted Execution Environments (TEEs) are designed to protect the privacy and integrity of data in use. They enable secure data processing and sharing in peer-to-peer networks, suc…

cs.CR2024

RTL2M $I^¼$ PATH: Multi- $I^¼$ PATH Synthesis with Applications to Hardware Security Verification

Yao Hsiao, Nikos Nikoleris, Artem Khyzha +4

The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called $I^¼$ SPEC models. Despite…

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks

RTL2MI^¼PATH: Multi-I^¼PATH Synthesis with Applications to Hardware Security Verification

RTL2M $I^¼$ PATH: Multi- $I^¼$ PATH Synthesis with Applications to Hardware Security Verification