Chameleon: A Hybrid Secure Computation Framework for Machine Learning Applications

Source Attribution of Cryptographic API Misuse in Android Applications

Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security

A Linear Distinguisher and its Application for Analyzing Privacy-Preserving Transformation Used in Verifiable (Outsourced) Computation