%% Created for Stuart Shieber at 2007-09-04 12:02:26 -0400 


%% Saved with string encoding Western (ASCII) 



@article{DingHRS07,
	Author = {Yan Zong Ding and Danny Harnik and Alon Rosen and Ronen Shaltiel},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Journal = {J. Cryptology},
	Number = {2},
	Pages = {165-202},
	Title = {Constant-Round Oblivious Transfer in the Bounded Storage Model},
	Url = {http://www.springerlink.com/content/g21j941731370837/?p=6ca1b0843480420d8a80cbc1a94684dc&pi=1},
	Volume = {20},
	Year = {2007}}

@article{DBLP:journals/joc/HarnikNRR06,
	Author = {Danny Harnik and Moni Naor and Omer Reingold and Alon Rosen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Journal = {J. Cryptology},
	Number = {4},
	Pages = {521-552},
	Title = {Completeness in Two-Party Secure Computation: A Computational View},
	Url = {http://dx.doi.org/10.1007/s00145-006-0346-4},
	Volume = {19},
	Year = {2006}}

@inproceedings{DBLP:conf/focs/MicaliPR06,
	Author = {Silvio Micali and Rafael Pass and Alon Rosen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FOCS},
	Crossref = {DBLP:conf/focs/2006},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Pages = {367-378},
	Title = {Input-Indistinguishable Computation},
	Url = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2006.43},
	Year = {2006}}

@inproceedings{DBLP:conf/tcc/MicciancioLPR06,
	Author = {Daniele Micciancio and Vadim Lyubashevsky and Chris Peikert and Alon Rosen},
	Booktitle = {2nd NIST Cryptographic Hash Function Workshop},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Title = {Provably Secure FFT Hashing},
	Url = {http://www.csrc.nist.gov/pki/HashWorkshop/2006/papers/LYUBASH_description.pdf},
	Year = {2006}}

@inproceedings{DBLP:conf/focs/PassR05,
	Author = {Rafael Pass and Alon Rosen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FOCS},
	Crossref = {DBLP:conf/focs/2005},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Pages = {563-572},
	Title = {Concurrent Non-Malleable Commitments},
	Url = {http://doi.ieeecomputersociety.org/10.1109/SFCS.2005.27},
	Year = {2005}}

@inproceedings{DBLP:conf/tcc/PeikertR06,
	Author = {Chris Peikert and Alon Rosen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TCC},
	Crossref = {DBLP:conf/tcc/2006},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Pages = {145-166},
	Title = {Efficient Collision-Resistant Hashing from Worst-Case Assumptions on Cyclic Lattices},
	Url = {http://dx.doi.org/10.1007/11681878_8},
	Year = {2006}}

@inproceedings{DBLP:conf/stoc/PeikertR07,
	Author = {Chris Peikert and Alon Rosen},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {STOC},
	Crossref = {DBLP:conf/stoc/2007},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Pages = {478-487},
	Title = {Lattices that admit logarithmic worst-case to average-case connection factors},
	Url = {http://doi.acm.org/10.1145/1250790.1250860},
	Year = {2007}}

@book{Rosen06,
	Author = {Alon Rosen},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Isbn = {978-3-540-32938-1},
	Publisher = {Springer Verlag},
	Series = {Information Security and Cryptography},
	Title = {Concurrent Zero-Knowledge},
	Url = {http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-173660921-0},
	Year = {2006}}

@proceedings{DBLP:conf/focs/2005,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FOCS},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Isbn = {0-7695-2468-0},
	Publisher = {IEEE Computer Society},
	Title = {46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
	Year = {2005}}

@proceedings{DBLP:conf/tcc/2006,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TCC},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Editor = {Shai Halevi and Tal Rabin},
	Isbn = {3-540-32731-2},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings},
	Volume = {3876},
	Year = {2006}}

@proceedings{DBLP:conf/focs/2006,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FOCS},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Isbn = {0-7695-2720-5},
	Publisher = {IEEE Computer Society},
	Title = {47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings},
	Year = {2006}}

@proceedings{DBLP:conf/stoc/2007,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {STOC},
	Date-Added = {2007-09-04 12:02:22 -0400},
	Date-Modified = {2007-09-04 12:02:22 -0400},
	Editor = {David S. Johnson and Uriel Feige},
	Isbn = {978-1-59593-631-8},
	Publisher = {ACM},
	Title = {Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007},
	Year = {2007}}

@inproceedings{garfinkel:aff,
	Author = {Simson Garfinkel and David Malan and Karl-Alexander Dubec and Christopher Stevens and Cecile Pham},
	Booktitle = {Research Advances in Digital Forensics (Second Annual IFIP WG 11.9 International Conference on Digital Forensics)},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:35:51 -0400},
	Month = Jan,
	Publisher = {Springer},
	Title = {Disk Imaging with the Advanced Forensic Format, Library and Tools},
	Year = {2006}}

@article{garfinkel:affc,
	Author = {{The Common Evidence Format Working Group} (B. Carrier and E. Casey and S. Garfinkel and J. Kornblum and C. Hosmer and M. Rogers and P. Turner)},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:33:31 -0400},
	Journal = {Communications of the ACM},
	Month = Feb,
	Title = {{AFF}: A New Format for Storing Hard Drive Images},
	Year = 2006}

@inproceedings{garfinkel:bigfile,
	Author = {Simson Garfinkel and David Malan},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:33:31 -0400},
	Inproceedings = {The 6th Workshop on Privacy Enhancing Technologies},
	Location = {Robinson College, Cambridge, UK},
	Month = Jun # {28 -- 30},
	Title = {One Big File is Not Enough: A Critical Evaluation of the Dominant Free-Space Sanitization Technique},
	Year = 2006}

@article{garfinkel:cda,
	Address = {Lafayette, Indiana},
	Author = {Simson Garfinkel},
	Booktitle = {Proceedings of the 6th Annual Digital Forensic Research Workshop (DFRWS)},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:33:31 -0400},
	Journal = {Digital Investigation},
	Location = {Lafayette, Indiana},
	Month = Aug,
	Title = {Forensic feature extraction and cross-drive analysis},
	Url = {http://www.dfrws.org/2006/proceedings/10-Garfinkel.pdf},
	Year = 2006}

@inproceedings{garfinkel:2007:AA,
	Address = {Monterey, CA},
	Author = {Simson Garfinkel},
	Booktitle = {Proceedings of the 2nd International Conference on i-Warfare and Security ({ICIW})},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:34:50 -0400},
	Generator = {WordPress 2.2.1},
	Month = {8-9 March},
	Organization = {Naval Postgraduate School},
	Title = {Anti-Forensics: Techniques, Detection and Countermeasures},
	Year = {2007}}

@article{Garfinkel:2007:AB,
	Author = {Simson Garfinkel},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:36:10 -0400},
	Journal = {Operating Systems Review},
	Month = {January},
	Title = {Complete Delete vs. Time Machine Computing},
	Year = {2007}}

@misc{garfinkel:afflib,
	Author = {Simson L. Garfinkel},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:33:31 -0400},
	Title = {AFFLIB},
	Url = {http://www.afflib.org/},
	Year = 2007}

@techreport{garfinkel:aws07,
	Author = {Simson Garfinkel},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:35:32 -0400},
	Institution = {School for Engineering and Applied Sciences, Harvard University},
	Month = Jul,
	Number = {TR-08-07},
	Title = {An Evaluation of Amazon's Grid Computing Services: EC2, S3 and SQS},
	Url = {http://www.simson.net/clips/academic/2007.Harvard.S3.pdf},
	Year = 2007}

@article{garfinkel:carving07,
	Author = {Simson Garfinkel},
	Booktitle = {Proceedings of the 7th Annual Digital Forensic Research Workshop (DFRWS)},
	Date-Added = {2007-09-01 18:33:31 -0400},
	Date-Modified = {2007-09-01 18:33:31 -0400},
	Journal = {Digital Investigation},
	Location = {Pittsburgh, PA},
	Month = Aug,
	Title = {Carving Contiguous and Fragmented Files with Fast Object Validation},
	Year = 2007}

@inproceedings{Adida:2007:BAT,
	Author = {Adida, Ben},
	Booktitle = {CCS 2007, Proceedings of the Fourteenth ACM Conference on Computer and Communications Security},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:43:48 -0400},
	Month = {October},
	Origin = {http://ben.adida.net/research/#BeamAuth--Two-Factor-Web-Authentication-with-a-Bookmark},
	Title = {BeamAuth: Two-Factor Web Authentication with a Bookmark},
	Url = {http://ben.adida.net/research/beamauth-ccs2007.pdf},
	Year = {2007}}

@inproceedings{Adida:2007:OOM,
	Author = {Adida, Ben and Wikstr\"{o}m, Douglas},
	Booktitle = {ICALP 2007, Proceedings of the Thirty-Fourth International Colloquium on Automatata, Languages, and Programming, Wroclaw, Poland},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:47:52 -0400},
	Editor = {Christian Cachin},
	Month = {July},
	Origin = {http://ben.adida.net/research/#Offline%2FOnline-Mixing},
	Title = {Offline/Online Mixing},
	Year = {2007}}

@inproceedings{Adida:2007:BSP,
	Author = {Adida, Ben},
	Booktitle = {W2SP 2007, Proceedings of the First Workshop on Web 2.0 Security & Privacy, Oakland, CA, USA},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:44:00 -0400},
	Month = {May},
	Origin = {http://ben.adida.net/research/#The-Browser-as-a-Secure-Platform-for-Loosely-Coupled-Private-Data-Mashups},
	Title = {The Browser as a Secure Platform for Loosely Coupled Private-Data Mashups},
	Url = {http://seclab.cs.rice.edu/w2sp/2007/},
	Year = {2007}}

@inproceedings{Adida:2007:OSE,
	Author = {Adida, Ben and Bond, Mike and Clulow, Jolyon and Lin, Amerson and Anderson, Ross and Rivest, Ronald L.},
	Booktitle = {SPW 2007, Proceedings of the Fifteenth International Workshop on Security Protocols, Brno, Czech Republic},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:44:16 -0400},
	Month = {April},
	Origin = {http://ben.adida.net/research/#On-the-Security-of-the-EMV-Secure-Messaging-API},
	Title = {On the Security of the EMV Secure Messaging API},
	Year = {2007}}

@inproceedings{Youn:2007:RBT,
	Author = {Youn, Paul and Adida, Ben and Bond, Mike and Clulow, Jolyon and Herzog, Jonathan and Lin, Amerson and Anderson, Ross and Rivest, Ronald L.},
	Booktitle = {SPW 2007, Proceedings of the Fifteenth International Workshop on Security Protocols, Brno, Czech Republic},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:46:05 -0400},
	Month = {April},
	Origin = {http://ben.adida.net/research/#Robbing-the-Bank-with-a-Theorem-Prover},
	Title = {Robbing the Bank with a Theorem Prover},
	Year = {2007}}

@inproceedings{Adida:2007:HSP,
	Author = {Adida, Ben and Wikstr\"{o}m, Douglas},
	Booktitle = {Theory of Cryptography, Proceedings of TCC 2007},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:48:19 -0400},
	Month = {February},
	Origin = {http://ben.adida.net/research/#How-to-Shuffle-in-Public},
	Pages = {555--574},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {How to Shuffle in Public},
	Url = {http://ben.adida.net/research/how-to-shuffle-in-public-tcc-2007.pdf},
	Year = {2007}}

@phdthesis{Adida:2006:ACV,
	Author = {Adida, Ben},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 14:12:53 -0400},
	Month = {August},
	Origin = {http://ben.adida.net/research/#Advances-in-Cryptographic-Voting-Systems},
	School = {Massachusetts Institute of Technology},
	Title = {Advances in Cryptographic Voting Systems},
	Url = {http://ben.adida.net/research/phd-thesis.pdf},
	Year = {2006}}

@inproceedings{Adida:2006:LESea,
	Author = {Adida, Ben and Chau, David and Hohenberger, Susan and Rivest, Ronald L.},
	Booktitle = {Fifth Conference on Security and Cryptography for Networks (SCN'06)},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:44:57 -0400},
	Ee = {http://dx.doi.org/10.1007/11832072_20},
	Origin = {http://ben.adida.net/research/#Lightweight-Email-Signatures-(Extended-Abstract).},
	Pages = {288-302},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Lightweight Email Signatures (Extended Abstract).},
	Url = {http://ben.adida.net/research/lightweight-email-signatures-extended-abstract.pdf},
	Volume = {4116},
	Year = {2006}}

@incollection{Adida:2006:LES,
	Author = {Adida, Ben and Chau, David and Hohenberger, Susan and Rivest, Ronald L.},
	Booktitle = {Phishing and Countermeasures},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:44:29 -0400},
	Editor = {Jakobsson and Myers},
	Origin = {http://ben.adida.net/research/#Lightweight-Email-Signatures.},
	Publisher = {Wiley},
	Title = {Lightweight Email Signatures},
	Url = {http://ben.adida.net/research/lightweight-email-signatures.pdf},
	Year = {2006}}

@inproceedings{Adida:2006:BCA,
	Author = {Adida, Ben and Neff, C. Andrew},
	Booktitle = {EVT '06, Proceedings of the First Usenix/ACCURATE Electronic Voting Technology Workshop, August 1st 2006, Vancouver, BC,Canada.},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:45:21 -0400},
	Origin = {http://ben.adida.net/research/#Ballot-Casting-Assurance},
	Title = {Ballot Casting Assurance},
	Url = {http://www.usenix.org/events/evt06/tech/full_papers/adida/adida.pdf},
	Year = {2006}}

@article{Adida:2006:GPS,
	Author = {Adida, Ben and Kohane, Isaac},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:45:11 -0400},
	Journal = {BMC Genomics},
	Number = {1},
	Origin = {http://ben.adida.net/research/#GenePING--secure%2C-scalable-management-of-personal-genomic-data},
	Pages = {93},
	Title = {GenePING: secure, scalable management of personal genomic data},
	Url = {http://www.biomedcentral.com/1471-2164/7/93},
	Volume = {7},
	Year = {2006}}

@inproceedings{Adida:2006:SVS,
	Author = {Adida, Ben and Rivest, Ronald L.},
	Booktitle = {ACM Workshop on Privacy in the Electronic Society},
	Date-Added = {2007-08-29 13:40:42 -0400},
	Date-Modified = {2007-08-29 13:45:31 -0400},
	Editor = {Roger Dingledine and Ting Yu},
	Month = {October},
	Origin = {http://ben.adida.net/research/#Scratch-%26-Vote--Self-Contained-Paper-Based-Cryptographic-Voting},
	Publisher = {ACM},
	Title = {Scratch & Vote: Self-Contained Paper-Based Cryptographic Voting},
	Year = {2006}}

@inproceedings{Greenstadt:2006:AE,
	Address = {Hakodate, Japan},
	Author = {Rachel Greenstadt and Jonathan P. Pearce and Emma Bowring and Milind Tambe},
	Booktitle = {Proceedings of the Seventh International Workshop in Distributed Constraint Reasoning},
	Date-Added = {2007-08-29 13:34:28 -0400},
	Date-Modified = {2007-08-29 13:35:05 -0400},
	Month = {8 May},
	Title = {An Experimental Analysis of Privacy Loss in DCOP Algorithms},
	Year = {2006}}

@inproceedings{Greenstadt:2006:AD,
	Author = {Rachel Greenstadt and Jonathan P. Pearce and Emma Bowring and Milind Tambe},
	Booktitle = {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '06)},
	Date-Added = {2007-08-29 13:33:21 -0400},
	Date-Modified = {2007-08-29 13:34:28 -0400},
	Month = {May},
	Title = {Experimental Analysis of Privacy Loss in {DCOP} Algorithms},
	Year = {2006}}

@inproceedings{Greenstadt:2006:AC,
	Address = {Boston, MA},
	Author = {Rachel Greenstadt},
	Booktitle = {Proceedings of the Eleventh {SIGART/AAAI} Doctoral Consortium},
	Date-Added = {2007-08-29 13:31:55 -0400},
	Date-Modified = {2007-08-29 13:32:47 -0400},
	Month = {July},
	Title = {Privatizing Constraint Optimization},
	Year = {2006}}

@inproceedings{Greenstadt:2006:AB,
	Author = {Rachel Greenstadt and Jonathan P. Pearce and Milind Tambe},
	Booktitle = {Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06)},
	Date-Added = {2007-08-29 13:31:04 -0400},
	Date-Modified = {2007-08-30 16:35:45 -0400},
	Month = {July},
	Title = {Analysis of Privacy Loss in Distributed Constraint Optimization},
	Year = {2006}}

@inproceedings{Greenstadt:2006:AA,
	Address = {Cambridge, England},
	Author = {Rachel Greenstadt and Michael D. Smith},
	Booktitle = {Proceedings of the Fifth Workshop on the Economics of Information Security (WEIS 2006)},
	Date-Added = {2007-08-29 13:30:16 -0400},
	Date-Modified = {2007-08-29 13:31:05 -0400},
	Month = {26--28 June},
	Organization = {University of Cambridge},
	Title = {Collaborative Scheduling: Threats and Promises},
	Year = {2006}}

@inproceedings{Malan:2006:AA,
	Author = {David J. Malan and Michael D. Smith},
	Booktitle = {Proceedings of the 4th Workshop on Recurring Malcode (WORM 2006)},
	Date-Added = {2007-08-29 13:29:37 -0400},
	Date-Modified = {2007-08-29 13:30:16 -0400},
	Month = {3 November},
	Title = {Exploiting Temporal Consistency to Reduce False Positives in Host-Based, Collaborative Detection of Worms},
	Year = {2006}}

@inproceedings{Parkes:2006:PSP,
	Address = {Fredericton, New Brunswick, Canada},
	Author = {David C. Parkes and Michael O. Rabin and Stuart M. Shieber and Christopher A. Thorpe},
	Booktitle = {Proceedings of the Eighth International Conference on Electronic Commerce (ICEC '06)},
	Date-Added = {2007-08-29 13:29:10 -0400},
	Date-Modified = {2007-08-29 13:29:10 -0400},
	Month = {14--16 August},
	Pages = {70--81},
	Publisher = {ACM Press},
	Title = {Practical Secrecy-Preserving, Verifiably Correct and Trustworthy Auctions},
	Url = {http://www.eecs.harvard.edu/~shieber/Biblio/Papers/icec06.pdf},
	Year = {2006}}

@inproceedings{NguyenOnVa06,
	Address = {Berkeley, CA},
	Author = {Minh-Huyen Nguyen and Shien Jin Ong and Salil Vadhan},
	Booktitle = {Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS `06)},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Month = {22--24 October},
	Note = {To appear. Full version posted as {\em ECCC} TR06-075.},
	Title = {Statistical Zero-Knowledge Arguments for {NP} from Any One-Way Function},
	Year = {2006}}

@inproceedings{GradwohlVaZu06,
	Author = {Ronen Gradwohl and Salil Vadhan and David Zuckerman},
	Booktitle = {Advances in Cryptology---CRYPTO~`06},
	C-Address = {Santa Barbara, California},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Editor = {C. Dwork},
	Month = {20--24 August},
	Note = {To appear},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Random Selection with an Adversarial Majority},
	Year = {2006}}

@inproceedings{NguyenVa06,
	Author = {Minh Nguyen and Salil Vadhan},
	Booktitle = {Proceedings of the 38th Annual ACM Symposium on
 Theory of Computing (STOC `06)},
	C-Address = {Seattle, WA},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Month = {21--23 May},
	Pages = {287--295},
	Title = {Zero Knowledge with Efficient Provers},
	Year = {2006}}

@unpublished{SchoenebeckVa04-old,
	Author = {Grant Schoenebeck and Salil Vadhan},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Month = {November},
	Note = {Submitted to the {\em 20th Annual IEEE Conference on Computational Complexity (CCC `05)}},
	Title = {The Computational Complexity of {Nash} Equilibria in Concisely Represented Games},
	Year = {2004}}

@inproceedings{ReingoldTrVa06,
	Author = {Omer Reingold and Luca Trevisan and Salil Vadhan},
	Booktitle = {Proceedings of the 38th Annual ACM Symposium on
 Theory of Computing (STOC `06)},
	C-Address = {Seattle, WA},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Month = {21--23 May},
	Note = {Preliminary version on {\em ECCC}, February 2005.},
	Pages = {457--466},
	Title = {Pseudorandom Walks in Regular Digraphs and the \mbox{RL} vs.\ \mbox{L} Problem},
	Year = {2006}}

@inproceedings{MicciancioOnSaVa06,
	Author = {Daniele Micciancio and Shien Jin Ong and Amit Sahai and Salil Vadhan},
	Booktitle = {Proceedings of the Third Theory of Cryptography Conference (TCC `06)},
	C-Address = {Cambridge, MA},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Editor = {S. Halevi and T. Rabin},
	Month = {4--7 March},
	Pages = {1--20},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Concurrent Zero Knowledge without Complexity Assumptions},
	Volume = {3876},
	Year = {2006}}

@article{Vadhan06,
	Author = {Salil P. Vadhan},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 14:13:05 -0400},
	Journal = {SIAM Journal on Computing},
	Note = {Special Issue on Randomness \& Complexity. To appear. Extended abstract in {\em FOCS `04}.},
	Title = {An Unconditional Study of Computational Zero Knowledge},
	Year = {2006}}

@article{BarakLiVa06,
	Author = {Boaz Barak and Yehuda Lindell and Salil Vadhan},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	File = F,
	Journal = {Journal of Computer and System Sciences},
	Month = {March},
	Note = {Special Issue on FOCS `03},
	Number = {2},
	Pages = {321--391},
	Title = {Lower bounds for non-black-box zero knowledge},
	Volume = {72},
	Year = {2006}}

@inproceedings{KampRaVaZu06,
	Author = {Jesse Kamp and Anup Rao and Salil Vadhan and David Zuckerman},
	Booktitle = {Proceedings of the 38th Annual ACM Symposium on
 Theory of Computing (STOC `06)},
	C-Address = {Seattle, WA},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Month = {21--23 May},
	Pages = {691--700},
	Title = {Deterministic Extractors for Small-Space Sources},
	Year = {2006}}

@article{TrevisanVaZu05,
	Author = {Luca Trevisan and Salil Vadhan and David Zuckerman},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	File = F,
	Journal = {Computational Complexity},
	Month = {December},
	Note = {Special Issue on CCC `04.},
	Number = {3},
	Pages = {186--227},
	Title = {Compression of Samplable Sources},
	Volume = {14},
	Year = {2005}}

@inproceedings{SchoenebeckVa06,
	Author = {Grant Schoenebeck and Salil Vadhan},
	Booktitle = {Proceedings of the 7th ACM Conference on Electronic Commerce (EC `06)},
	C-Address = {Ann Arbor, MI},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	File = F,
	Month = {11--15 June},
	Optorganization = {ACM},
	Pages = {270--279},
	Title = {The Computational Complexity of {Nash} Equilibria in Concisely Represented Games},
	Year = {2006}}

@article{HealyVaVi06,
	Author = {Alex Healy and Salil Vadhan and Emanuele Viola},
	Date-Added = {2007-08-29 13:28:33 -0400},
	Date-Modified = {2007-08-29 13:28:33 -0400},
	Journal = {SIAM Journal on Computing},
	Note = {Special Issue on {\em STOC `04}},
	Number = {4},
	Pages = {903--931},
	Title = {Using nondeterminism to amplify hardness},
	Volume = {35},
	Year = {2006}}

@article{Grossman:2005:AA,
	Author = {D. Grossman and M. Hicks and T. Jim and G. Morrisett},
	Date-Added = {2007-08-29 13:27:16 -0400},
	Date-Modified = {2007-08-29 13:28:07 -0400},
	Journal = {C/C++ User's Journal},
	Month = {January},
	Number = {1},
	Title = {Cyclone: A Type-Safe Dialect of C},
	Volume = {23},
	Year = {2005}}

@inproceedings{Hamlen:2006:AA,
	Author = {K. Hamlen and G. Morrisett and F. B. Schneider},
	Booktitle = {ACM Workshop on Programming Languages and Analysis for Security},
	Date-Added = {2007-08-29 13:26:29 -0400},
	Date-Modified = {2007-08-29 13:27:16 -0400},
	Month = {June},
	Pages = {7-16},
	Title = {Certified In-lined Reference Monitoring on .NET},
	Year = {2006}}

@inproceedings{McCamant:2006:AA,
	Address = {Vancouver, BC, Canada},
	Author = {S. McCamant and G. Morrisett},
	Booktitle = {Proceedings of the 15th USENIX Security Symposium},
	Date-Added = {2007-08-29 13:25:27 -0400},
	Date-Modified = {2007-08-29 13:26:29 -0400},
	Month = {August 2-4},
	Title = {Evaluating SFI for a CISC Architecture},
	Year = {2006}}