Post-quantum key exchange – a new hope∗ Erdem Alkim Department of Mathemathics, Ege University, Turkey Léo Ducas Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands Thomas Pöppelmann

Source URL: cryptojedi.org

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Learning with errors
• Ring learning with errors
• Lattice problem
• Quantum computing
• Lattice
• Voronoi diagram
• Quantum algorithm
• NTRU
• Ring learning with errors key exchange

M4GB: An efficient Gr¨obner-basis algorithm Rusydi H. Makarim Marc Stevens Cryptology Group, Centrum Wiskunde en Informatica

Source URL: marc-stevens.nl

• Algebra
• Abstract algebra
• Mathematics
• Polynomials
• Computer algebra
• Invariant theory
• Commutative algebra
• Homogeneous polynomials
• Monomial order
• Polynomial ring
• Faugre's F4 and F5 algorithms
• Hidden Field Equations

Freestart collision for full SHA-1 Marc Stevens1? , Pierre Karpman2,3?? , and Thomas Peyrin3? ? ? 1 Centrum Wiskunde & Informatica, The Netherlands 2

Source URL: marc-stevens.nl

EASY MetaProgramming with Rascal Paul Klint, Jurgen Vinju, Tijs van der Storm Centrum Wiskunde & Informatica and University of Amsterdam Abstract. Rascal is a new language for meta-programming and is

Source URL: homepages.cwi.nl

Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java Tijs van der Storm Centrum Wiskunde & Informatica (CWI) University of Groningen (RUG)

Source URL: www.it.uu.se

Computation and Interaction Jos Baeten (joint work with Bas Luttik and Paul van Tilburg) Centrum Wiskunde & Informatica, Amsterdam, and Computer Science, Eindhoven University of Technology

Source URL: www.ips.tu-braunschweig.de

An Empirical Study of PHP Feature Usage A Static Analysis Perspective 1 Mark Hills1 , Paul Klint1,2 , and Jurgen Vinju1,2 Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

Source URL: www.cs.ecu.edu

A Case of Visitor versus Interpreter Pattern Mark Hills1,2 , Paul Klint1,2 , Tijs van der Storm1 , and Jurgen Vinju1,2 1 Centrum Wiskunde & Informatica, Amsterdam, The Netherlands 2 INRIA Lille Nord Europe, France

Source URL: www.cs.ecu.edu

ChromaKey: Towards Extensible Reflective Architectures Pablo Inostroza Tijs van der Storm Centrum Wiskunde & Informatica, The Netherlands

Source URL: homepages.cwi.nl

Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)

Source URL: www.klomp.org

• Software engineering
• Computer programming
• Programming paradigms
• Theoretical computer science
• Programming idioms
• Computability theory
• Alma-0
• Backtracking
• Logic programming
• Recursion
• Prolog
• Imperative programming