Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The Netherlands

Source URL: ko.stoffelen.nl

• Logic gates
• Theoretical computer science
• Boolean satisfiability problem
• XOR gate
• XNOR gate
• AND gate
• Data Encryption Standard
• OR gate
• Block cipher
• Mathematical optimization
• Circuit

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

All the AES You Need on Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands ,

Source URL: ko.stoffelen.nl

• Cryptography
• Advanced Encryption Standard
• Data Encryption Standard
• AES implementations
• ARM architecture
• Block ciphers
• DEAL
• AES instruction set
• CRYPTON

Column Parity Mixers Ko Stoffelen1∗ and Joan Daemen1,2 1 Digital Security Group, Radboud University, Nijmegen, The Netherlands 2

Source URL: ko.stoffelen.nl

• Algebra
• Mathematics
• Linear algebra
• Matrices
• Matrix theory
• Abstract algebra
• Coding theory
• Trace
• Circulant matrix
• Square matrix
• Matrix
• Row and column spaces

Differential Power Analysis and Fault Attacks on Hash-Based Signature Schemes Matthias J. Kannwischer 27 March 2018 Radboud University, Nijmegen, The Netherlands

Source URL: kannwischer.eu

• Cryptography
• Cryptographic hash functions
• Post-quantum cryptography
• Hashing
• Search algorithms
• Power analysis
• XMSS
• Hash function
• SHA-2
• DPA
• Digital signature
• Crypt

Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen,

Source URL: www.falkhowar.de

• Transmission Control Protocol
• Constructible universe
• Algorithm
• Sliding window protocol
• Mathematics
• Dimension reduction
• Computing
• Philosophy of mathematics

Instruction Scheduling and Register Allocation on ARM Cortex-M Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands

Source URL: ko.stoffelen.nl

• Programming language implementation
• Software
• Computer programming
• Compiler construction
• Compiler optimizations
• Compilers
• Register allocation
• Instruction set architectures
• LLVM
• Optimizing compiler
• Static single assignment form
• GNU Compiler Collection

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards Wojciech Mostowski? and Pim Vullers?? Institute for Computing and Information Sciences, Digital Security group, Radboud University Nijmegen, The N

Source URL: ceres.hh.se

How did Homo Heuristicus become ecologically rational? Maria Otworowska ()a, Marieke Sweersa , Robin Wellnera , Marvin Uhlmannb , Todd Warehamc , Iris van Rooija a Radboud University Nijmegen, D

Source URL: ceur-ws.org