Centrum Wiskunde & Informatica

Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools In Proceedings

F. Arbab (Farhad), C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), Y.-J. Moon (Young-Joo) and J.M.P. Proença (Jose)

January 2008
The EMF Model Transformation Framework Book Chapter

E. Biermann, K. Ehrig, C. Ermel, C. Krause (born Köhler) (Christian) and G. Taentzer

January 2008
Conditional Reactive Simulatability Article

International Journal of Information Security, 7(2), 155-169.

M. Backes, M. Dürmuth, D. Hofheinz (Dennis) and R. Küsters (Ralf)

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

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

January 2008
Public-Key Encryption with Non-Interactive Opening In Proceedings

I.B. Damgård (Ivan), D. Hofheinz (Dennis), E. Kiltz (Eike) and R. Thorbek (Rune)

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

E. Kiltz (Eike) and Y. Vahlis

January 2008
NP-hard sets are exponentially dense unless coNP C NP/poly In Proceedings

H.M. Buhrman (Harry) and J.M. Hitchcock (John)

January 2008
Leakage-Resilient Cryptography In Proceedings

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

January 2008

Previous

Next