Monika Trimoska (original) (raw)

Avatar I am an assistant professor at the Coding Theory and Cryptology group at Eindhoven University of Technology (TU/e), led by Tanja Lange. Previously, I was a postdoc in the Digital Security group at Radboud University, working with Simona Samardjiska and Peter Schwabe. I did my PhD in MIS Laboratory at the University of Picardie Jules Verne, under the supervision of Gilles Dequen and Sorina Ionica. After my thesis, I was a Teaching and Research Assistant (ATER) at the University of Picardie Jules Verne. Currently, my primary research interest is cryptanalysis of post-quantum cryptosystems, specifically multivariate, code-based and isogeny-based. During my thesis, I was investigating the use of SAT solvers in cryptographic attacks on public-key cryptosystems, with a focus on elliptic curve cryptography.

Research interests tags

multivariatecode-basedisogeniesECCalg. cryptanalysisSATsignaturesfault injection

Contact

m [dot] trimoska [at] tue [dot] nl

Publications

Theses

Combinatorics in Algebraic and Logical Cryptanalysis ECC alg. cryptanalysis SAT
PhD thesis
supervised by Sorina Ionica and Gilles Dequen
defended on 14th January 2021
[manuscript][slides][video]

Journal papers

Hardness estimates of the Code Equivalence Problem in the Rank Metric code-based multivariate alg. cryptanalysis
with Krijn Reijnders and Simona Samardjiska
DCC 2024
[author's version]

Time-Memory Analysis for Parallel Collision Search Algorithms ECC
with Sorina Ionica and Gilles Dequen
TCHES, Volume 2021, Issue 2
[link][slides][video]

International Conferences

Shifting our knowledge of MQ-Sign security alg. cryptanalysis multivariate
with Lars Ran
PQCrypto 2025
[author's version][slides][slides (handout)][video]

Practical key-recovery attack on MQ-Sign multivariate signatures alg. cryptanalysis
with Thomas Aulbach and Simona Samardjiska
PQCrypto 2024
[author's version][implementation]

Algebraic Algorithm for the Alternating Trilinear Form Equivalence Problem code-based signatures alg. cryptanalysis
with Lars Ran and Simona Samardjiska
CBCrypto 2023
[author's version][slides]

Take your MEDS: Digital Signatures from Matrix Code Equivalence code-based signatures alg. cryptanalysis
with Tung Chou, Ruben Niederhagen, Edoardo Persichetti, Tovohery Hajatiana Randrianarisoa, Krijn Reijnders and Simona Samardjiska
Africacrypt 2023
[author's version]

Disorientation faults in CSIDH isogenies fault injection
with Gustavo Banegas, Juliane Krämer, Tanja Lange, Michael Meyer, Lorenz Panny, Krijn Reijnders and Jana Sotáková
Eurocrypt 2023
[author's version]

Parallel Isogeny Path Finding with Limited Memory isogenies
with Emanuele Bellini, Jorge Chavez-Saab, Jesús-Javier Chi-Domínguez, Andre Esser, Sorina Ionica, Luis Rivera-Zamarripa, Francisco Rodríguez-Henríquez and Floyd Zweydinger
Indocrypt 2022
[author's version]

A Simple Deterministic Algorithm for Systems of Quadratic Polynomials over mathbbF_2\mathbb{F}_2mathbbF_2 alg. cryptanalysis
with Charles Bouillaguet and Claire Delaplace
SOSA 2022
[author's version][implementation by C. Bouillaguet]

Logical cryptanalysis with WDSat SAT alg. cryptanalysis
with Gilles Dequen and Sorina Ionica
SAT 2021
[author's version][slides][video]

Parity (XOR) Reasoning for the Index Calculus Attack SAT alg. cryptanalysis ECC
with Sorina Ionica and Gilles Dequen
CP 2020
[author's version][slides][video]

A SAT - Based Approach for Index Calculus on Binary Elliptic Curves SAT alg. cryptanalysis ECC
with Sorina Ionica and Gilles Dequen
Africacrypt 2020
[author's version][slides]

Book chapters and surveys

Report on evaluation of KpqC Round-2 candidates signatures
with Daniel J. Bernstein and Jolijn Cottaar and Emanuele Di Giandomenico and Kathrin Hövelmanns and Andreas Hülsing and Mikhail Kudinov and Tanja Lange and Mairon Mahzoun and Matthias Meijers and Alex Pellegrini and Alberto Ravagnani and Silvia Ritsch and Sven Schäge and Tianxin Tang and Marc Vorstermans and Fiona Johanna Weber
[link]

Report on evaluation of KpqC candidates signatures
with Jolijn Cottaar and Kathrin Hövelmanns and Andreas Hülsing and Tanja Lange and Mohammad Mahzoun and Alex Pellegrini and Alberto Ravagnani and Sven Schäge and Benne de Weger
[link]

HappyKidz: Privacy Preserving Phone Usage Tracking homomorphic encryption
with Benjamin M. Case and Marcella Hastings and Siam Hussain
Protecting Privacy through Homomorphic Encryption
[link]

Artifacts

Parallel Collision Search implementation ECC
with Sorina Ionica and Gilles Dequen
TCHES 2021
[link]

Talks

GRACE seminar
Shifting our knowledge of MQ-Sign security, at the seminar at GRACE at INRIA and Politechnique [slides]
16 December 2025 Paris, France

UVSQ seminar
Algebraic and combinatorial algorithms for equivalence problems, at the Cryptographic Seminar at Versailles [slides][slides (handout)]
15 December 2025 Versailles, France

SIAM-AG 2025
Algebraic and Combinatorial Algorithms for the Matrix Code Equivalence Problem, at the SIAM Conference on Applied Algebraic Geometry (AG25) [slides][slides (handout)]
11 July 2025 Madison, Wisconsin

Summer school on RWC and privacy 2025
Full-day tutorial: Where did my RAM go? Using algebraic cryptanalysis in practice, at the summer school on RWC and privacy [resources]
1 July 2025 Dubrovnik, Croatia

Summer school on RWC and privacy 2025
Solving multivariate quadratic systems in practice, at the summer school on RWC and privacy [slides][slides (handout)]
30 June 2025 Dubrovnik, Croatia

PQCSA summer school 2025
Algebraic cryptanalysis and multivariate cryptography, at the summer school on Post-Quantum Cryptography [slides][slides (handout)][video]
17 June 2025 Albena, Bulgaria

PQCSA summer school 2025
Cryptographic design: Trapdoor and MPCitH digital signatures, at the summer school on Post-Quantum Cryptography [slides][slides (handout)][video]
17 June 2025 Albena, Bulgaria

CWG meetings
Shifting our knowledge of MQ-Sign security, at Crypto Working Group meetings [slides]
23 May 2025 Utrecht, The Netherlands

PQCrypto 2025
Shifting our knowledge of MQ-Sign security, at the 16th International Conference on Post-Quantum Cryptography [slides][slides (handout)][video]
8 April 2025 Taipei, Taiwan

Mathematics of PQC at MPIM
Algebraic cryptanalysis applied to equivalence problems, at the Conference on "The Mathematics of Post-Quantum Cryptography" [event][slides]
4 December 2024 Bonn, Germany

ACCESS seminar
Algebraic and Combinatorial Algorithms for Equivalence Problems, at the Algebraic Coding and Cryptography Seminar Series [webpage][slides]
1 October 2024 online

DISTANT Training School
Hard problems in post-quantum cryptography, at the DISTANT Training School affiliated with Summer school on RWC and privacy in Croatia 2024 [event][slides]
2 June 2024 Vodice, Croatia

Security in Times of Surveillance
An overview of post-quantum cryptography, at the event Security in Times of Surveillance 2024 [event][slides][video]
31 May 2024 Eindhoven, The Netherlands

CrypTOgraphy days 2024
Algebraic and Combinatorial Algorithms for Equivalence Problems, at the CrypTOgraphy days 2024 [event][slides]
17 May 2024 Turin, Italy

MWCC 2024
Algebraic and Combinatorial Algorithms for Equivalence Problems, at the Munich Workshop on Coding and Cryptography 2024 [event][slides]
09 April 2024 Munich, Germany

PQC Spring School 2024
Multivariate cryptography [event][resources][video]
15 March 2024 Porto, Portugal

IMB Seminar
Disorientation faults in CSIDH, at Séminaire de Théorie Algorithmique des Nombres [slides][webpage]
28 November 2023 Institut de Mathématiques de Bordeaux, Bordeaux, France

Women in science
Design and cryptanalysis of post-quantum digital signature schemes, at Ciclo de conferencias de la Mujer en la Ciencia [slides][event]
30 August 2023 online (Universidad Anáhuac Mexico)

Africacrypt 2023
Take your MEDS: Digital Signatures from Matrix Code Equivalence, at the 14th International Conference on Cryptology AFRICACRYPT 2023 [slides]
20 July 2023 Sousse, Tunisia

SIAM-AG 2023
Setting the Stage: Isogeny-Based Cryptography, at the SIAM Conference on Applied Algebraic Geometry (AG23) [slides]
13 July 2023 Eindhoven, The Netherlands

CBCrypto 2023
Algebraic Attack on the Alternating Trilinear Form Equivalence Problem, at the 4th International Workshop on Code-Based Cryptography [slides]
22 April 2023 Lyon, France

CWG meetings
Disorientation faults in CSIDH, at Crypto Working Group meetings [slides]
17 March 2023 Utrecht, The Netherlands

MIS Seminar
The Matrix Code Equivalence Problem and Applications, at Séminaire de Laboratoire MIS [slides]
24 November 2022 Amiens, France

CSNG 2022
Digital Signatures from the Matrix-code Equivalence problem, at the 8th Annual Cyber Security Next Generation Workshop [slides]
13 October 2022 Delft, The Netherlands

CrossFyre 2022
Disorientation faults in CSIDH, at the 11th International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers [slides]
6 October 2022 Passau, Germany

Virtual Summer School
The Matrix Code Equivalence Problem and Applications, at the Contemporary algebraic and geometric techniques in coding theory and cryptography [abstract][slides]
21 July 2022 online (Università degli Studi della Campania Luigi Vanvitelli)

CrossFyre 2021
A Simple Deterministic Algorithm for Systems of Quadratic Polynomials over mathbbF_2\mathbb{F}_2mathbbF_2, at the 10th International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers [slides]
2 December 2021 online

CHES 2021
Time-Memory Analysis for Parallel Collision Search Algorithms, at the annual Conference on Cryptographic Hardware and Embedded Systems [slides][pre-recording][live session]
13 September 2021 online

SAT 2021
Logical cryptanalysis with WDSat, at the 24th International Conference on Theory and Applications of Satisfiability Testing [slides]
7 July 2021 online (Barcelona, Spain)

AGC2T
A SAT-based approach for index calculus on binary elliptic curves, at the Arithmetic, Geometry, Cryptography and Coding Theory Conference [slides][video]
1 June 2021 online (CIRM, Marseille Luminy, France)

Caramba Seminar
Cryptanalyse logique du problème du logarithme discret sur courbes elliptiques, at Séminaire de l'équipe Caramba (Inria Nancy) [slides]
12 March 2021 online (INRIA Nancy)

ATI Seminar
Calcul d'index pour des courbes elliptiques définies sur des extensions de corps finis, at Séminaire Arithmétique et Théorie de l’Information [slides]
18 February 2021 online (Université Aix-Maseille)

CP 2020
Parity (XOR) Reasoning for the Index Calculus Attack, at the 26th International Conference on Principles and Practice of Constraint Programming [slides][video]
9 September 2020 online (Louvain-la-Neuve, Belgium)

IMACC 2019
A SAT-based approach for index calculus on binary elliptic curves, at the 17th IMA International Conference on Cryptography and Coding [slides]
17 December 2019 St Anne’s College, University of Oxford, Oxford, UK

MSR Seminar
A SAT-based approach for index calculus on binary elliptic curves, at a seminar at the Microsoft Reasearch Lab [slides]
5 December 2019 Microsoft Research, Redmond, Washington, USA

Private AI Bootcamp
HappyKidz: Privacy Preserving Phone Usage Tracking, at Private AI Bootcamp Competition 2019 [video]
4 December 2019 Microsoft, Redmond, Washington, USA

JJCMIS 2019
Analyse de la difficulté des Cryptosystèmes à l’Aide du Problème du Transversal Minimum, at Journée des Jeunes Chercheurs du MIS 2019 [slides]
5 July 2019 Amiens, France

GT BAC
A SAT-based approach for index calculus on binary elliptic curves, at Groupe de Travail "Butte aux Cailles" [slides]
16 May 2019 l'ENST (Télécom ParisTech), Paris, France

JC2 2018
Time-Memory Trade-offs for Parallel Collision Search Algorithms, at Journées Codage & Cryptographie 2018 [slides]
11 October 2018 Centre Paul-Langevin – CAES du CNRS, Aussois, France

JJCMIS 2018
Cryptanalyse logique du problème du logarithme discret, at Journée des Jeunes Chercheurs du MIS 2018 [slides]
29 May 2018 Amiens, France

JRES 2017
A propos d'un schéma d'authentification OTP, at Journées Réseaux de l’Enseignement et de la Recherche 2017 [video]
15 November 2017 Nantes, France

JJCMIS 2017
Protocole d’authentification CrypTonAuth, at Journée des Jeunes Chercheurs du MIS 2017 [slides]
30 May 2017 Amiens, France

Other outreach activities

Alice & Eve 2021 Poster [event]

Diffie-Hellman key exchange with colors
Presented at a lab visit for students who have participated in the Alkindi cryptography competition.

Time-Memory Trade-offs for PCS Algorithms - poster in French

Le protocole d’authentification CrypTonAuth
Newsletter of MIS Laboratory, September 2017

Software

MCE
Implementations of algorithms for solving the Matrix Code Equivalence problem (MCE).
[github]

WDSat
A SAT solver dedicated to solving instances derived from a Weil descent.
[github]

PCS - Published as TCHES 2021 Artifact
Implementation of a Parallel Collision Search algorithm for solving the ECDLP.
[github]

Weil descent
A Weil descent implementation for binary elliptic curves over prime-degree extension fields.
[github]

CrypTonAuth
A C library for implementing the CrypTonAuth authentication method, prepared for ANSSI standardisation.
[proprietary]

CrypTonID
A C library for implementing the CrypTonID technology, prepared for ANSSI standardisation.
[proprietary]

Courses

Eindhoven University of Technology:

Applied Number Theory and Algebra
Second year Bachelor's course.
2024/2025

Cryptology - guest lecture
Master's course at Radboud University [Isogeny-based cryptography].
2024/2025

Professional portfolio: modeling week
Master's course.
2024/2025

Selected Areas in Cryptology
MasterMath course [course page].
2023/2024

Cryptology - guest lecture
Master's course at Radboud University [Cryptanalysis in elliptic curve cryptography].
2023/2024

Radboud University:

Cryptology
Master's course - guest lecture [Cryptanalysis in elliptic curve cryptography], tutorials and assignments.
2022/2023

University of Picardie Jules Verne

Object-oriented programming 2 and Reactive programming
Third year - lectures, tutorials and lab work (cours, TD, TP).
2018/2019, 2019/2020

Advanced algorithms
Second year - tutorials and lab work (TD, TP).
2020/2021

C programming
Second year - lab work (TP).
2018/2019, 2019/2020

Elements of formal logic and mathematical reasoning
First year - tutorials (TD).
2020/2021

Algorithms and programming
First year - tutorials and lab work (TD, TP).
2020/2021

Propositional logic
First year - tutorials and lab work (TD, TP).
2017/2018

Introduction to databases
First year - tutorials and lab work (TD, TP).
2020/2021

Introduction to programming
First year - tutorials and lab work (TD, TP).
2018/2019, 2019/2020, 2020/2021

Internet and web
First year - tutorials and lab work (TD, TP).
2020/2021

Mentoring

PhD Students

Master's Students

Bachelor's Students

Program committee:

External reviewing:

Program (Co-)Chair:

Scientific/Organizing committee:

Helping with conference organisation:

Research committee:

Other outreach activities:

When I'm not thinking about crypto problems, you can find me at the circus. I had practiced contemporary ballet for 11 years and am currently practicing aerial arts: aerial hoop, pole, trapeze & working towards getting strong enough for straps.