CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Chosen-Prefix Collisions for MD5 and Colliding X.509 Certificates for Different Identities In Proceedings
M.M.J. Stevens (Marc), A.K. Lenstra (Arjen) and B. de Weger (Benne)
January 2007 -
Secure Computation from Random Error Correcting Codes In Proceedings
H. Chen (Helen), R.J.F. Cramer (Ronald), S. Goldwasser, R. de Haan (Robbert) and V. Vaikuntanathan
January 2007 -
Atomic Secure Multi-Party Multiplication with Low Communication In Proceedings
R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and R. de Haan (Robbert)
January 2007 -
Secure Linear Algebra Using Linearly Recurrent Sequences In Proceedings
E. Kiltz (Eike), P. Mohassel, E. Weinreb (Enav) and M. Franklin
January 2007 -
A verification framework for agent programming with declarative goals Article
Journal of Applied Logic, 5(2), 277-302.F.S. de Boer (Frank), K.V. Hindriks, W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)
January 2007 -
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs In Proceedings
January 2007 -
Special Issue on Automata, Languages and Programming Article
Theoretical Computer Science, 379(3), 305-305.J.C.M. Baeten (Jos), J.K. Lenstra (Jan Karel) and G.J. Woeginger
January 2007
-
Process Algebra Book Chapter
January 2007