Skip to content

The Weird Machines in Proof-Carrying Code.

Julien Vanegue

VenueA*SP
Year2014
ProceedingsIEEE Symposium on Security and Privacy Workshops

Browse the full SP paper archive.