Abstract—Interface-confinement is a common mechanism that secures untrusted code by executing it inside a sandbox. The sandbox limits (confines) the code's ...
Interface-confinement is a common mechanism that secures untrusted code by executing it inside a sandbox. The sandbox limits (confines) the code's ...
Abstract—Interface-confinement is a common mechanism that secures untrusted code by executing it inside a sandbox. The sandbox limits (confines) the code's ...
Abstract—Interface-confinement is a common mechanism that secures untrusted code by executing it inside a sandbox. The sandbox limits (confines) the code's ...
In their paper, Jia et al., (2015) , interface constraint and program logic reasoning is utilized to analyze the security of protocol implementations at the ...
(2015) A Logic of Programs with Interface-Confined Code. In: Proceedings of the 28th Computer Security Foundations Symposium (CSF '15). Conference: CSF ...
People also ask
What is a logic interface?
What is an interface and types of interfaces?
Logic of Programs with Interface-confined Code (CMU-CyLab-13-001). journal contribution ...
At a technical level, the paper presents an expressive concurrent programming language with recursive functions for modeling interfaces and a logic of programs ...
A logic of programs with interface-confined code. L Jia, S Sen, D Garg, A Datta. 2015 IEEE 28th Computer Security Foundations Symposium, 512-525, 2015. 23, 2015.