A Logic of Programs with Interface-Confined Code

Datta, Anupam and Garg, Deepak and Jia, Limin and Sen, Shayak
(2015) A Logic of Programs with Interface-Confined Code.
In: Proceedings of the 28th Computer Security Foundations Symposium (CSF '15).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item