| 2007 |
| 8 | EE | Shafi Goldwasser,
Dan Gutfreund,
Alexander Healy,
Tali Kaufman,
Guy N. Rothblum:
Verifying and decoding in constant depth.
STOC 2007: 440-449 |
| 2006 |
| 7 | EE | Alexander Healy:
Randomness-Efficient Sampling Within NC1.
APPROX-RANDOM 2006: 398-409 |
| 6 | EE | Alexander Healy,
Emanuele Viola:
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two.
STACS 2006: 672-683 |
| 5 | EE | Alexander Healy,
Salil P. Vadhan,
Emanuele Viola:
Using Nondeterminism to Amplify Hardness.
SIAM J. Comput. 35(4): 903-931 (2006) |
| 2005 |
| 4 | EE | Melissa Chase,
Alexander Healy,
Anna Lysyanskaya,
Tal Malkin,
Leonid Reyzin:
Mercurial Commitments with Applications to Zero-Knowledge Sets.
EUROCRYPT 2005: 422-439 |
| 3 | EE | Alexander Healy,
Emanuele Viola:
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two
Electronic Colloquium on Computational Complexity (ECCC)(087): (2005) |
| 2004 |
| 2 | EE | Alexander Healy,
Salil P. Vadhan,
Emanuele Viola:
Using nondeterminism to amplify hardness.
STOC 2004: 192-201 |
| 1 | EE | Alexander Healy,
Salil P. Vadhan,
Emanuele Viola:
Using Nondeterminism to Amplify Hardness
Electronic Colloquium on Computational Complexity (ECCC)(087): (2004) |