Publication
-
Services and Contracts: Coalgebraically Article
Electronic Notes in Theoretical Computer Science, 207-223.January 2008 -
Leakage-Resilient Cryptography In Proceedings
January 2008
-
Quantum Property Testing Article
SIAM Journal on Computing, 37(5), 1387-1400.January 2008
-
NP-hard sets are exponentially dense unless coNP C NP/poly In Proceedings
January 2008
-
07381 Executive Summary Cryptography - Dagstuhl Seminar In Proceedings
January 2008
-
Multirate numerical integration for ordinary differential equations Dissertation
Modelling, Analysis and ComputationJanuary 2008
-
The unique games conjecture with entangled provers is false In Proceedings
January 2008
-
High entropy random selection protocols [Extended Abstract] In Proceedings
January 2008