Alexander Healy

According to our database, Alexander Healy authored at least 8 papers between 2005 and 2013.

Collaborative distances:

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

2013

Mercurial Commitments with Applications to Zero-Knowledge Sets.

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

J. Cryptol., 2013

2008

Randomness-Efficient Sampling within NC¹.

Alexander Healy

Comput. Complex., 2008

2007

A (De)constructive Approach to Program Checking.

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

Electron. Colloquium Comput. Complex., 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

Using Nondeterminism to Amplify Hardness.

Alexander Healy, Salil P. Vadhan, Emanuele Viola

SIAM J. Comput., 2006

Randomness-Efficient Sampling within NC^1.

Alexander Healy

Electron. Colloquium Comput. Complex., 2006

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

Alexander Healy

Proceedings of the Approximation, 2006

2005

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

Alexander Healy, Emanuele Viola

Electron. Colloquium Comput. Complex., 2005