Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
1
Griotte reveals that formal verification can ensure compartmentalization security in systems where cross-communication is necessary, challenging traditional assumptions about isolation.
Finally, a program logic lets you formally verify end-to-end security properties of complex systems that combine trusted, untrusted, and attested code running on capability machines.
