The Second International Conference on Availability, Reliability and Security (ARES'07) Applications for Provably Secure Intent Protection with Bounded Input-Size Programs Vienna, Austria April 10-April 13 ISBN: 0-7695-2775-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2007.40
The de facto standard program obfuscation security model, termed the virtual black box (VBB), declares a program to be securely obfuscated if and only if an adversary can prove no more when given the obfuscated code than it can when only given oracle access to the original program. In this paper, we define and give methodology for a perfectly secure program intent obfuscation that is general and practical for bounded input-size programs, including those with input/output relationships that are easily learned. We also lay foundations for how to embed a key securely in a private-key encryption setting using such constructions.
Citation:
J. Todd McDonald, Alec Yasinsac, "Applications for Provably Secure Intent Protection with Bounded Input-Size Programs," ares, pp.286-293, The Second International Conference on Availability, Reliability and Security (ARES'07), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||