Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two - Alexander Healy; Emanuele Viola (Electron. Colloquium Comput. Complex., 2005)

Randomness-Efficient Sampling Within NC1. - Alexander Healy (APPROX-RANDOM, 2006)

Randomness-Efficient Sampling within NC^1. - Alexander Healy (Electron. Colloquium Comput. Complex., 2006)

Using Nondeterminism to Amplify Hardness. - Alexander Healy; Salil P. Vadhan; Emanuele Viola (SIAM J. Comput., 2006)

Verifying and decoding in constant depth. - Shafi Goldwasser; Dan Gutfreund; Alexander Healy; Tali Kaufman; Guy N. Rothblum (STOC, 2007)

A (De)constructive Approach to Program Checking. - Shafi Goldwasser; Dan Gutfreund; Alexander Healy; Tali Kaufman; Guy N. Rothblum (Electron. Colloquium Comput. Complex., 2007)

Randomness-Efficient Sampling within NC1. - Alexander Healy (Comput. Complex., 2008)

Mercurial Commitments with Applications to Zero-Knowledge Sets. - Melissa Chase; Alexander Healy; Anna Lysyanskaya; Tal Malkin; Leonid Reyzin (J. Cryptol., 2013)