Publication
-
Type based modular refactoring Presentation
January 2012 -
January 2012
-
Classical Simulation of Entanglement Swapping with Bounded Communication Article
Physical Review Letters, 109(10)January 2012
-
January 2012
-
January 2012
-
January 2012
-
Static Analysis of Lua Presentation
January 2012
-
Complete Insecurity of Quantum Protocols for Classical Two-Party Computation Article
Physical Review LettersJanuary 2012