2008 |
12 | EE | Shafi Goldwasser,
Dan Gutfreund,
Alexander Healy,
Tali Kaufman,
Guy N. Rothblum:
A (de)constructive approach to program checking.
STOC 2008: 143-152 |
11 | EE | Alexander Healy:
Randomness-Efficient Sampling within NC1.
Computational Complexity 17(1): 3-37 (2008) |
2007 |
10 | EE | Shafi Goldwasser,
Dan Gutfreund,
Alexander Healy,
Tali Kaufman,
Guy N. Rothblum:
Verifying and decoding in constant depth.
STOC 2007: 440-449 |
9 | EE | Shafi Goldwasser,
Dan Gutfreund,
Alexander Healy,
Tali Kaufman,
Guy N. Rothblum:
A (De)constructive Approach to Program Checking.
Electronic Colloquium on Computational Complexity (ECCC) 14(047): (2007) |
2006 |
8 | EE | Alexander Healy:
Randomness-Efficient Sampling Within NC1.
APPROX-RANDOM 2006: 398-409 |
7 | EE | Alexander Healy,
Emanuele Viola:
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two.
STACS 2006: 672-683 |
6 | EE | Alexander Healy:
Randomness-Efficient Sampling within NC^1.
Electronic Colloquium on Computational Complexity (ECCC) 13(058): (2006) |
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) |