Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Cryptography and Data Security, Complexity and Algorithms in Graphs, Cryptographic Implementations and Security, and Privacy-Preserving Technologies in Data.
PPAD is as Hard as LWE and Iterated Squaring
Reusable Fuzzy Extractors for Low-Entropy Distributions
Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
How to delegate computations publicly
On Zero-Testable Homomorphic Encryption and Publicly Verifiable Non-interactive Arguments
On Removing Graded Encodings from Functional Encryption
Time-Lock Puzzles from Randomized Encodings
3-Message Zero Knowledge Against Human Ignorance
On the Existence of Extractable One-Way Functions
On Virtual Grey Box Obfuscation for General Circuits
ZAPs and Non-Interactive Witness Indistinguishability from Indistinguishability Obfuscation
Perfect Structure on the Edge of Chaos
On Obfuscation with Random Oracles
Protecting Obfuscation against Algebraic Attacks
On the existence of extractable one-way functions
Obfuscation for Evasive Functions
Verifiable Set Operations over Outsourced Databases
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator
Client-Server Concurrent Zero Knowledge with Constant Rounds and Guaranteed Complexity
Succinct Non-interactive Arguments via Linear Interactive Proofs
On the Achievability of Simulation-Based Security for Functional Encryption
Public-Coin Concurrent Zero-Knowledge in the Global Hash Model
Point Obfuscation and 3-Round Zero-Knowledge
From the Impossibility of Obfuscation to a New Non-Black-Box Simulation Technique