Search papers, labs, and topics across Lattice.
University of Zurich
2
0
3
4
Guaranteeing atomicity in secure enclaves doesn't have to break real-time OS timekeeping – a secure-driven synchronization mechanism can unobtrusively keep everything in sync.
MCUs can now audit control flow without grinding to a halt, thanks to a new hardware-software co-design that lets applications run while security evidence streams out.
