Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.

Saved in:

Bibliographic Details
Title:	Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.
Authors:	JAKOBS, MARIE-CHRISTINE¹, WEHRHEIM, HEIKE¹
Source:	ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p7-7:56, 56p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3014427