Description
Leader of the group Cryptology: Ronald Cramer.
Vacancies
Tenure-Track and Senior Researcher Positions in Secure Software Systems in Amsterdam
CWI is looking for candidates to initiate and develop new research directions in Secure Software Systems, addressing major challenges in software systems relating to security and privacy. We are looking for researchers with excellent track records in computer science, with a focus on privacy and security in software systems and their scientific foundations. The tenure-track candidates are expected to develop a research program that addresses current societal demands on secure software systems, whereas senior candidates are expected to develop and lead a new group in this area. The candidates are expected to utilise synergies with other CWI research groups, like the cryptology group of prof. Ronald Cramer.
News
CRYPTO 2017 Best Paper Award for breaking SHA-1 security standard
A team of researchers from CWI and Google have won the CRYPTO 2017 Best Paper Award for being the first to break the SHA-1 internet security standard in practice. Marc Stevens (CWI) explained this research during a plenary talk at CRYPTO 2017 in Santa Barbara (USA).
CWI and Google research team wins Pwnie Award for Best Cryptographic Attack
Researchers at CWI and Google have won the Pwnie Award for Best Cryptographic Attack at the BlackHat USA security conference. They were awarded the prize for being the first to break the SHA-1 internet security standard in practice.
Marc Stevens’ project awarded funding in ‘Big Data: real time ICT for logistics’ programme
NWO has granted five applications within the ‘Big Data: real time ICT for logistics’ research programme. CWI’s Marc Stevens is the main applicant of one of the five granted research projects: 'Secure scalable policy-enforced distributed data processing'.
Cécile Pierrot wins Cercle K2 Cybersecurity Trophy 2017
Cécile Pierrot from the Cryptology research group at CWI won the first Cybersecurity Trophy granted by Cercle K2. This French think tank awards prizes in 22 topics every two years. It aims at stimulating interdisciplinarity and promoting young researchers. The Cybersecurity Trophy 2017 rewarded Pierrot’s PhD thesis, which she defended at UPMC in Paris on 25 November 2016. The jury praised her for both theoretical and practical impacts of her results.
Members
Associated Members
Publications
-
Guruswami, V, Xing, C, & Yuan, C. (2018). How long can optimal locally repairable codes be?. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2018) (pp. 41:1–41:11). doi:10.4230/LIPIcs.APPROX-RANDOM.2018.41
-
Cascudo, I, Cramer, R.J.F, Xing, C, & Yuan, C. (2018). Amortized complexity of information-theoretically secure MPC revisited. In Advances in Cryptology - CRYPTO 2018 (pp. 395–426). doi:10.1007/978-3-319-96878-0_14
-
Luo, Y, Xing, C, & Yuan, C. (2018). Optimal locally repairable codes of distance 3 and 4 via cyclic codes. IEEE Transactions on Information Theory. doi:10.1109/TIT.2018.2854717
-
Cramer, R.J.F, Damgård, I.B, Döttling, N.M, Giacomelli, I, & Xing, C. (2017). Linear-time non-malleable codes in the bit-wise independent tampering model. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 1–25). doi:10.1007/978-3-319-72089-0_1
-
Ducas, L. (2017). Advances on quantum cryptanalysis of ideal lattices. Nieuw Archief voor Wiskunde, 5/18, 184–189.
-
de Boer, K, & Pagano, C. (2017). Calculating the power residue symbol and ibeta: Applications of computing the group structure of the principal units of a p-adic number field completion. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC (pp. 117–124). doi:10.1145/3087604.3087637
-
Bos, J.W, Ducas, L, Kiltz, E, Lepoint, T, Lyubashevsky, V, Schanck, J.M, … Stehlé, D. (2017). CRYSTALS - Kyber: A CCA-secure Module-Lattice-Based KEM. Cryptology ePrint Archive.
-
Canteaut, A, Lambooij, E, Neves, S, Rasoolzadeh, S, Sasaki, Y, & Stevens, M.M.J. (2017). Refined Probability of Differential Characteristics Including Dependency Between Multiple Rounds. IACR Transactions on Symmetric Cryptology, 2017(2), 203–227. doi:10.13154/tosc.v2017.i2.203-227
-
Cramer, R.J.F, Damgård, I.B, Xing, C, & Yuan, C. (2017). Amortized complexity of zero-knowledge proofs revisited: Achieving linear soundness slack. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-319-56620-7_17
-
Fehr, S, & Salvail, L. (2017). Quantum authentication and encryption with key recycling. In Lecture Notes in Computer Science. doi:10.1007/978-3-319-56617-7_11
Software
NewHope: Fast implementation of a quantum-resistant key exchange
NewHope is the reference implementation of a quantum-resistant key exchange protocol.
Counter-Cryptanalysis: detecting forged digital MD5, SHA-1 signatures
The Counter-Cryptanalysis project provides a drop-in replacement for the existing cryptographic hash functions MD5 and SHA-1.
HashClash: A framework for studying the weaknesses of MD5 and SHA-1
HashClash is a software framework for cryptanalysis of the MD5 and SHA-1 cryptographic hash functions, and for Chosen-Prefix Collisions for MD5.
Current projects with external funding
-
Applications of Arithmetic Secret Sharing Schemes in Two-Party Cryptography
-
Cryptanalysis of Lattice-based Cryptography
-
Cryptanalysis of Widely-used Hash Function Standards and Beyond
-
Samenwerkingsovereenkomst met TNO vwb promotieonderzoek Thomas Attema
-
Secure scalable policy-enforced distributed data processing
-
Algebraic Methods for Stronger Crypto (ALGSTRONGCRYPTO)
-
PRivacy preserving pOst-quantuM systEms from advanced crypTograpHic mEchanisms Using latticeS (PROMETHEUS)
-
Scalable Oblivious Data Analytics (SODA)
Related partners
-
IBM
-
Orange SA
-
Philips
-
Royal Holloway & Bedford New College, University of London
-
Ruhr-Universität Bochum, Germany
-
Scytl Secure Electronic Voting SA
-
Thales
-
Université de Rennes
-
Weizmann Institute
-
Ecole Normale Superieure
-
Ecole Polytechnique Federale de Lausanne
-
TNO
-
Technische Universiteit Eindhoven
-
Universidad Politecnica Catalunya