Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Nicky Mouha

dblp:87/7630 · DBLP profile ↗
← Back
20ranked-venue papers
8as first author
5since 2021 · last 2026
0000-0001-8861-782XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 19 · 7 first-author · 5 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
5 papers
Cryptographic primitives and cryptanalysis · 100%

Topics — the 10 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic primitives and cryptanalysis › block cipher
block cipher modes
1.122025
Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation · ASIACRYPT (1) 2025
Simpira v2: A Family of Efficient Permutations Using the AES Round Function · ASIACRYPT (1) 2016
Cryptographic primitives and cryptanalysis › key generation
key derivation
0.912025
Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation · ASIACRYPT (1) 2025
Cryptographic primitives and cryptanalysis › block cipher
tweakable block cipher
0.912025
Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation · ASIACRYPT (1) 2025
Cryptographic primitives and cryptanalysis
pseudorandom functions
0.312017
The Iterated Random Function Problem · ASIACRYPT (2) 2017
Cryptographic primitives and cryptanalysis › symmetric cryptography
permutation-based cryptography
0.212016
Simpira v2: A Family of Efficient Permutations Using the AES Round Function · ASIACRYPT (1) 2016
Cryptographic primitives and cryptanalysis
symmetric cryptography
0.212016
Simpira v2: A Family of Efficient Permutations Using the AES Round Function · ASIACRYPT (1) 2016
Cryptographic primitives and cryptanalysis › block cipher › key-alternating ciphers
even-mansour cipher
0.212015
Multi-key Security: The Even-Mansour Construction Revisited · CRYPTO (1) 2015
Cryptographic primitives and cryptanalysis
authenticated encryption
0.212014
How to Securely Release Unverified Plaintext in Authenticated Encryption · ASIACRYPT (1) 2014
Cryptographic primitives and cryptanalysis
encryption
0.112014
How to Securely Release Unverified Plaintext in Authenticated Encryption · ASIACRYPT (1) 2014
Cryptographic primitives and cryptanalysis › authenticated encryption
nonce-misuse resistance
0.112014
How to Securely Release Unverified Plaintext in Authenticated Encryption · ASIACRYPT (1) 2014

Methods — techniques the papers use, named apart from their topics

cascaded construction · 0.9beyond-birthday-bound security · 0.9
YearPublicationVenuePosition
2026 Key Committing Security of HCTR2, Revisited
Donghoon Chang, Yu Long Chen, Yukihito Hiraga, Kazuhiko Minematsu, Nicky Mouha, Yusuke Naito 0001, Yu Sasaki 0001, Takeshi Sugawara 0001
CRYPTO (6)5
2025 Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation
Yu Long Chen, Yukihito Hiraga, Nicky Mouha, Yusuke Naito 0001, Yu Sasaki 0001, Takeshi Sugawara 0001
ASIACRYPT (1)3
2023 Exploring Formal Methods for Cryptographic Hash Function Implementations
Nicky Mouha
ACISP1
2023 A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithms
Nicky Mouha, Christopher Celi
CT-RSA1
2023 Probabilistic Related-Key Statistical Saturation Cryptanalysis
Muzhou Li, Nicky Mouha, Ling Sun 0001, Meiqin Wang 0001
SAC2
2020 Extending NIST's CAVP Testing of Cryptographic Hash Function Implementations
Nicky Mouha, Christopher Celi
CT-RSA1
2018 Finding Bugs in Cryptographic Hash Function Implementations
abstract
Cryptographic hash functions are security-critical algorithms with many practical applications, notably in digital signatures. Developing an approach to test them can be particularly difficult, and bugs can remain unnoticed for many years. We revisit the NIST hash function competition, which was used to develop the SHA-3 standard, and apply a new testing strategy to all available reference implementations. Motivated by the cryptographic properties that a hash function should satisfy, we develop four tests. The Bit-Contribution Test checks if changes in the message affect the hash value, and the Bit-Exclusion Test checks that changes beyond the last message bit leave the hash value unchanged. We develop the Update Test to verify that messages are processed correctly in chunks, and then use combinatorial testing methods to reduce the test set size by several orders of magnitude while retaining the same fault-detection capability. Our tests detect bugs in 41 of the 86 reference implementations submitted to the SHA-3 competition, including the rediscovery of a bug in all submitted implementations of the SHA-3 finalist BLAKE. This bug remained undiscovered for seven years, and is particularly serious because it provides a simple strategy to modify the message without changing the hash value returned by the implementation. We detect these bugs using a fully-automated testing approach.
Nicky Mouha, M. S. Raunak 0001, D. Richard Kuhn, Raghu Kacker
IEEE Trans. Reliab.1
2017 The Iterated Random Function Problem
Ritam Bhaumik, Nilanjan Datta, Avijit Dutta, Nicky Mouha, Mridul Nandi
ASIACRYPT (2)4
2017 Full Disk Encryption: Bridging Theory and Practice
Louiza Khati, Nicky Mouha, Damien Vergnaud
CT-RSA2
2016 Simpira v2: A Family of Efficient Permutations Using the AES Round Function
Shay Gueron, Nicky Mouha
ASIACRYPT (1)2
2015 Multi-key Security: The Even-Mansour Construction Revisited
Nicky Mouha, Atul Luykx
CRYPTO (1)1
2014 How to Securely Release Unverified Plaintext in Authenticated Encryption
Elena Andreeva 0001, Andrey Bogdanov, Atul Luykx, Bart Mennink, Nicky Mouha, Kan Yasuda
ASIACRYPT (1)5
2014 APE: Authenticated Permutation-Based Encryption for Lightweight Cryptography
Elena Andreeva 0001, Begül Bilgin, Andrey Bogdanov, Atul Luykx, Bart Mennink, Nicky Mouha, Kan Yasuda
FSE6
2014 Chaskey: An Efficient MAC Algorithm for 32-bit Microcontrollers
Nicky Mouha, Bart Mennink, Anthony Van Herrewege, Dai Watanabe, Bart Preneel, Ingrid Verbauwhede
Selected Areas in Cryptography1
2012 UNAF: A Special Set of Additive Differences with Application to the Differential Analysis of ARX
Vesselin Velichkov, Nicky Mouha, Christophe De Cannière, Bart Preneel
FSE2
2011 Algebraic Techniques in Differential Cryptanalysis Revisited
Nicky Mouha, Bart Preneel
ACISP3
2011 Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
Nicky Mouha, Qingju Wang 0001, Dawu Gu, Bart Preneel
Inscrypt1
2011 Meet-in-the-Middle Attacks on Reduced-Round XTEA
Gautham Sekar, Nicky Mouha, Vesselin Velichkov, Bart Preneel
CT-RSA2
2011 The Additive Differential Probability of ARX
Vesselin Velichkov, Nicky Mouha, Christophe De Cannière, Bart Preneel
FSE2
2009 Cryptanalysis of the ESSENCE Family of Hash Functions
Nicky Mouha, Gautham Sekar, Jean-Philippe Aumasson, Thomas Peyrin, Søren S. Thomsen, Meltem Sönmez Turan, Bart Preneel
Inscrypt1