Alexander Healy

According to our database, Alexander Healy authored at least 8 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Randomness-Efficient Sampling within NC¹.

Alexander Healy

Comput. Complex., 2008

A (de)constructive approach to program checking.

Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum

Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008

2007

Verifying and decoding in constant depth.

Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum

Proceedings of the 39th Annual ACM Symposium on Theory of Computing, 2007

2006

Randomness-Efficient Sampling within NC^1.

Alexander Healy

Electron. Colloquium Comput. Complex., 2006

Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two.

Alexander Healy, Emanuele Viola

Proceedings of the STACS 2006, 2006

Randomness-Efficient Sampling Within <i>NC</i>¹.

Alexander Healy

Proceedings of the Approximation, 2006

2005

Mercurial Commitments with Applications to Zero-Knowledge Sets.

Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin

Proceedings of the Advances in Cryptology, 2005

2004

Using nondeterminism to amplify hardness.

Alexander Healy, Salil P. Vadhan, Emanuele Viola

Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004