"Proving full-system security properties under multiple attacker models on capability machines"

8 views

Skip to first unread message

unread,

Aug 6, 2021, 7:20:56 PM8/6/21

to cap-talk, fr...@googlegroups.com

To the tiny extent that I understand it, this looks interesting. Supports the Menger Sponge view of security, which they call "nesting".