Hash-based signatures Joost Rijneveld Radboud University, Nijmegen, The Netherlands Post-quantum cryptography

Source URL: joostrijneveld.nl

• Cryptography
• Post-quantum cryptography
• Public-key cryptography
• Hashing
• Error detection and correction
• Digital signature
• Hash chain
• XMSS
• Cryptographic hash function
• Merkle tree
• Hash function
• Key

Implementing Post-Quantum Cryptography on the Cortex M4 Matthias Kannwischer, Joost Rijneveld, Peter Schwabe, and Ko Stoffelen Radboud University, Nijmegen, The Netherlands

Source URL: joostrijneveld.nl

• Emerging technologies
• Quantum computing
• Theoretical computer science
• Quantum cryptography
• Cryptography
• Quantum information science
• Technology
• Applied mathematics
• Post-quantum cryptography
• Internet of things

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: cryptojedi.org

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Smart cards
• Hash-based cryptography
• Digital signature
• Cryptographic hash function
• Java Card
• Hash function
• Security token
• Cryptographic primitive
• XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: joostrijneveld.nl

• Cryptography
• Post-quantum cryptography
• Quantum cryptography
• Emerging technologies
• Quantum computing
• Key
• Supersingular isogeny key exchange
• Ring learning with errors key exchange

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

Fast Ideal Lattice-Based KEMs on ARM Cortex-M4 Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe September 03, 2018

Source URL: kannwischer.eu

• Mathematics
• Algebra
• Abstract algebra
• Post-quantum cryptography
• Multiplication
• Lattice-based cryptography
• Cryptography
• Karatsuba algorithm
• NTRU
• Lattice
• Polynomial ring
• Field extension

CSIDH: An Efficient Post-Quantum Commutative Group Action Wouter Castryck1 , Tanja Lange2 , Chloe Martindale2 , Lorenz Panny2 , and Joost Renes3 , , chloemartindale@

Source URL: www.cs.ru.nl

Lokale Organisatorinnen und Organisatoren Gesamtorganisation Anke Holler & Markus Steinbach Website & Technik Joost Kremers Tagungsbroschüre

Source URL: dgfs2011.uni-goettingen.de

A Calculus for Worms Ana Borges with Joost Joosten Universitat de Barcelona Wormshop 2017

Source URL: wrm17.mi.ras.ru

TCQV 2016: Trends and Challenges in Quantitative Verification Mysore Park Workshop Series, 1st to 4th of February, 2016 S. Akshay∗ Joost-Pieter Katoen

Source URL: www.mysorepark.org.in