CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
New concepts in the abstract format of the Compositional Interchange Format In Proceedings
D.A. van Beek, P.J. Collins (Pieter), D.E. Nadales Agut, J.E. Rooda (Jacobus) and R.R.H. Schiffelers
January 2009
-
Computable Types for Dynamic Systems In Proceedings
January 2009
-
January 2009
-
January 2009
-
January 2009
-
Composing quantum protocols in a classical environment In Proceedings
January 2009
-
Improving the security of quantum protocols via commit-and-open In Proceedings
I.B. Damgård (Ivan), S. Fehr (Serge), C. Luneman, L. Salvail (Louis) and C. Schaffner (Christian)
January 2009
-
On the power of two-party quantum cryptography In Proceedings
L. Salvail (Louis), C. Schaffner (Christian) and M. Sotakova
January 2009