Logical Cryptanalysis with WDSat

von Trimoska, Monika
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Parity (XOR) Reasoning for the Index Calculus Attack

von Trimoska, Monika
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

A SAT-Based Approach for Index Calculus on Binary Elliptic Curves

von Trimoska, Monika
Veröffentlicht in AFRICACRYPT (12. : 2020 : Online) Progress in cryptology - AFRICACRYPT 2020 (2020)