Inapproximability for Antiferromagnetic Spin Systems in the Tree Nonuniqueness Region.
Revocable Quantum Timed-Release Encryption.
Substitution-Permutation Networks, Pseudorandom Functions, and Natural Proofs.
Revisiting Asynchronous Linear Solvers: Provable Convergence Rate through Randomization.
Net and Prune: A Linear Time Algorithm for Euclidean Distance Problems.
Solving Linear Programs without Breaking Abstractions.
Attribute-Based Encryption for Circuits.
Simple, Fast and Deterministic Gossip and Rumor Spreading.