seL4: from general purpose to a proof of information flow enforcement (2013)

Cached

Download Links

by Toby Murray , Daniel Matichuk , Matthew Brassil , Peter Gammie , Timothy Bourke , Sean Seefried , Corey Lewis , Xin Gao , Gerwin Klein
Venue:In IEEE Symp. Security & Privacy
Citations:25 - 7 self