2015-07-13

A Logic of Programs with Interface-Confined Code

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)

Date published

2015-07-13

Date last modified

2019-07-18 12:09:25

Authors

Anupam Datta
Deepak Garg
Limin Jia
Shayak Sen

Download