Alexander Healy

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