Centrum Wiskunde & Informatica

Practical Chosen Ciphertext Secure Encryption from Factoring In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2009
Possibility and impossibility results for encryption and commitment secure under selective opening In Proceedings

M. Bellare, D. Hofheinz (Dennis) and S. Yilek

January 2009
CoSP: A general framework for computational soundness proofs In Proceedings

M. Backes, D. Hofheinz (Dennis) and D. Unruh

January 2009
Percolation for the vacant set of random interlacements. Article

Communications on Pure and Applied Mathematics, 62(6), 831-858.

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

January 2009
The structure of typical clusters in large sparse random configurations. Article

Journal of Statistical Physics, 135(1), 87-105.

J. Bertoin and V. Sidoravicius (Vladas)

January 2009
Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

January 2009
Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment Book Chapter

P. Klint (Paul)

January 2009
EASY Meta-Programming with RASCAL In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2009

Previous

Next