Alexander Healy

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Knowledge Extraction

Multiagent Systems

Search Algorithm

Top Venues

Publications

Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin
Mercurial Commitments with Applications to Zero-Knowledge Sets. J. Cryptol. 26 (2) (2013)
Alexander Healy
. Comput. Complex. 17 (1) (2008)
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
A (de)constructive approach to program checking. STOC (2008)
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
A (De)constructive Approach to Program Checking. Electron. Colloquium Comput. Complex. 14 (047) (2007)
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum
Verifying and decoding in constant depth. STOC (2007)
Alexander Healy, Salil P. Vadhan, Emanuele Viola
Using Nondeterminism to Amplify Hardness. SIAM J. Comput. 35 (4) (2006)
Alexander Healy
Randomness-Efficient Sampling within NC^1. Electron. Colloquium Comput. Complex. 13 (058) (2006)
Alexander Healy
. APPROX-RANDOM (2006)
Alexander Healy, Emanuele Viola
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two. STACS (2006)
Alexander Healy, Emanuele Viola
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two Electron. Colloquium Comput. Complex. (087) (2005)
Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin
Mercurial Commitments with Applications to Zero-Knowledge Sets. EUROCRYPT (2005)
Alexander Healy, Salil P. Vadhan, Emanuele Viola
Using Nondeterminism to Amplify Hardness Electron. Colloquium Comput. Complex. (087) (2004)
Alexander Healy, Salil P. Vadhan, Emanuele Viola
Using nondeterminism to amplify hardness. STOC (2004)