Centrum Wiskunde & Informatica

Modeling Component Connectors: Synchronisation and Context-Dependency In Proceedings

M.M. Bonsangue (Marcello), M. Izadi (Mohammad) and D.G. Clarke (David)

January 2008
Recasting Constraint Automata into Buchi Automata In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

January 2008
Coalgebraic logic and synthesis of Mealy machines In Proceedings

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

January 2008
Zooming in Multi-spectral Datacubes using PCA In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2008
Communication in the Presence of Replication In Proceedings

O. Barkol, Y. Ishai (Yuval) and E. Weinreb (Enav)

January 2008
Robust Multi-property Combiners for Hash Functions Revisited In Proceedings

M. Fischlin, A. Lehmann and K.Z. Pietrzak (Krzysztof)

January 2008
Weak Pseudorandom Functions in Minicrypt In Proceedings

K.Z. Pietrzak (Krzysztof) and J. Sjödin

January 2008
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

Previous

Next