Centrum Wiskunde & Informatica

A New Mode of Operation for Block Ciphers and Length-Preserving MACs In Proceedings

Y. Dodis, K.Z. Pietrzak (Krzysztof) and P. Puniya (Prashant)

January 2008
Garden: An Integrated DSL Development Environment Article

Science in China, 38(12), 2084-2098.

N. Zhang, X. Ju and M. Sun (Meng)

January 2008
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams In Proceedings

M. Sun (Meng) and L.S. Barbosa

January 2008
CCA2 Secure IBE: Standard Model Efficiency through Authenticated Symmetric Encryption In Proceedings

E. Kiltz (Eike) and Y. Vahlis

January 2008
Services and Contracts: Coalgebraically Article

Electronic Notes in Theoretical Computer Science, 207-223.

M. Sun (Meng)

January 2008
Leakage-Resilient Cryptography In Proceedings

S. Dziembowski and K.Z. Pietrzak (Krzysztof)

January 2008
Quantum Property Testing Article

SIAM Journal on Computing, 37(5), 1387-1400.

H.M. Buhrman (Harry), L. Fortnow (Lance), I. Newman and H. Röhrig (Hein)

January 2008
Randomised Individual Communication Complexity In Proceedings

H.M. Buhrman (Harry), M. Koucký (Michal) and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2008

Previous

Next