Complete Fairness in Secure Two-Party Computation.
QIP = PSPACE.
Truthful and Near-Optimal Mechanism Design via Linear Programming.
Compositional Shape Analysis by Means of Bi-Abduction.
Randomized Shellsort: A Simple Data-Oblivious Sorting Algorithm.
Invited Article Foreword.
New Constructive Aspects of the Lovász Local Lemma.