1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026★ 1 cited
Cerisier: A Program Logic for Attestation in a Capability Machine
June Rousseau, Denis Carnier, Thomas Van Strydonck +3
A key feature in trusted computing is attestation, which allows encapsulated components (enclaves) to prove their identity to (local or remote) distrusting components. Reasoning ab…
cs.PL2020
Uninitialized Capabilities
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel +1
This technical report describes a new extension to capability machines. Capability machines are a special type of processors that include better security primitives at the hardware…