Centrum Wiskunde & Informatica

Improving the Security of MACs Via Randomized Message Preprocessing In Proceedings

Y. Dodis and K.Z. Pietrzak (Krzysztof)

January 2007
Distributed Analysis with $\mu$CRL: A Compendium of Case Studies In Proceedings

S.C.C. Blom (Stefan), J.R. Calamé (Jens), B. Lisser (Bert), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun), J.C. van de Pol (Jaco), M.T. Dashti (Mohammad) and A.J. Wijs (Anton)

January 2007
Quantum and classical strong direct product theorems and optimal time-space tradeoffs Article

SIAM Journal on Computing, 36(5), 1472-1493.

H. Klauck (Hartmut), R. Spalek (Robert) and R.M. de Wolf (Ronald)

January 2007
Robust Polynomials and Quantum Algorithms Article

Theory of Computing Systems, 40(4), 379-395.

H.M. Buhrman (Harry), I. Newman, H. Röhrig (Hein) and R.M. de Wolf (Ronald)

January 2007
Exponential Separations for One-Way Quantum Communication Complexity, with Applications to Cryptography In Proceedings

D. Gavinsky, J. Kempe, I. Kerenidis, R. Raz and R.M. de Wolf (Ronald)

January 2007
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition In Proceedings

M. Sun (Meng)

January 2007
Web Services Choreography and Orchestration in Reo and Constraint Automata In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2007
On Resource-Sensitive Timed Component Connectors In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2007

Previous

Next