Centrum Wiskunde & Informatica

Intrusion-Resilient Secret Sharing In Proceedings

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

January 2007
Improving the Security of MACs Via Randomized Message Preprocessing In Proceedings

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

January 2007
Coalgebraic logic and synthesis of Mealy machines Tech Report

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2007
Pi-Calculus in Logical Form In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

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
Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

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

January 2007
Dynamic Evolution by Constraint Orchestration In Proceedings

L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

January 2007
A Comparison of Java Cards: State-of-Affairs 2006 Tech Report

W. Mostowski, J. Pan (Jing), S. Akkiraju, E.P. de Vink (Erik), E. Poll and J. I. den Hartog (Jeremy)

January 2007

Previous

Next