2 citations · 3 across the 3 of their papers we have counts for
4 papers
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…
ALARM: Active LeArning of Rowhammer Mitigations
Amir Naseredini, Martin Berger, Matteo Sammartino +1
Rowhammer is a serious security problem of contemporary dynamic random-access memory (DRAM) where reads or writes of bits can flip other bits. DRAM manufacturers add mitigations, b…
Private delegated computations using strong isolation
Mathias Brossard, Guilhem Bryant, Basma El Gaabouri +12
Sensitive computations are now routinely delegated to third-parties. In response, Confidential Computing technologies are being introduced to microprocessors, offering a protected…
Data Consistency in Transactional Storage Systems: a Centralised Approach
Shale Xiong, Andrea Cerone, Azalea Raad +1
We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on ab…