Alexander Healy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | STOC | A (de)constructive approach to program checking. | Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum |
| 2007 | STOC | Verifying and decoding in constant depth. | Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum |
| 2006 | STACS | Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two. | Alexander Healy, Emanuele Viola |
| 2005 | EuroCrypt | Mercurial Commitments with Applications to Zero-Knowledge Sets. | Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin |
| 2004 | STOC | Using nondeterminism to amplify hardness. | Alexander Healy, Salil P. Vadhan, Emanuele Viola |