Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Computer science / Software engineering / Logic in computer science / Dependently typed programming / Proof assistants / Proof-carrying code / Formal verification / Mathematical proof / CurryHoward correspondence / Algorithm


The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.
Add to Reading List

Document Date: 2014-10-13 00:40:06


Open Document

File Size: 254,94 KB

Share Result on Facebook