We address the practicality challenges of secure program obfuscation by implementing,
optimizing, and experimentally assessing an approach to securely obfuscate conjunction …

Opaque predicates are a commonly used technique in program obfuscation, intended to add
complexity to control flow and to insert dummy code or watermarks. However, there are …

The Innovation Corps for Learning (I-Corps-L) is a pilot initiative from the National Science
Foundation (NSF) and the American Society for Engineering Education (ASEE) to study …

Lattice-based cryptography has recently produced several time-efficient cryptosystems that
are provably secure under assumptions that are not known to be more easily solvable by …

Recent hardware advances, called gate camouflaging, have opened the possibility of
protecting integrated circuits against reverse-engineering attacks. In this paper, we …

Program obfuscation is an active and heavily researched topic in theoretical and applied
cryptography. General purpose program obfuscators would revolutionise the field and make …

Under intractability assumptions commonly used in cryptography, we show an efficient
program obfuscator for large classes of programs, including any arbitrary monotone formula …

Program obfuscation is about modifying source or machine code into functionally equivalent
code that is hard to understand to a human or some other program. Early obfuscation …

We study the problem of securing machine learning classifiers against intrusion attacks (ie,
attacks that somehow retrieve the classifier model parameters). We show that efficient …

Token-based obfuscation (TBO) is an interactive approach to cryptographic program
obfuscation that was proposed by Goldwasser et al.(STOC 2013) as a potentially more …