Publication

ICT Magazine: CWI en Beeld & Geluid openen virtueel museum tijdens VR days - 12 november 2021 Magazine Article

Pushdown automata and context-free grammars in bisimulation semantics In Proceedings

J.C.M. Baeten (Jos), C. Carissimo (Cesare) and S.P. Luttik (Bas)

AG Connect: De gouden tip: Topwetenschapper Jurgen Vinju - 10 november 2021 Magazine Article

On span programs and quantum algorithms Dissertation

A. Piedrafita Postigo (Álvaro)

Integrating ADTs in KeY and their application to history-based reasoning In Proceedings

J. Bian (Jinting), H.A. Hiep (Hans-Dieter), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Lattice Attacks on NTRU and LWE: A History of Refinements Book Chapter

M.R. Albrecht (Martin) and L. Ducas (Léo)

A concrete treatment of efficient continuous group key agreement via multi-recipient PKEs In Proceedings

K. Hashimoto (Keitaro), S. Katsumata (Shuichi), E.W. Postlethwaite (Eamonn Walter), T. Prest (Thomas) and B. Westerbaan (Bas)

EMERCE: CWI en Beeld & Geluid openen virtueel museum tijdens VR Days - 12 nov 2021 Magazine Article