C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Simone Pelizzola
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Sat Solvers
Modulo Theories
Top Venues
IACR Cryptol. ePrint Arch.
CANS
</>
Publications
</>
Emanuele Bellini
,
Alessandro De Piccoli
,
Mattia Formenti
,
David Gérault
,
Paul Huynh
,
Simone Pelizzola
,
Sergio Polese
,
Andrea Visconti
Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives.
IACR Cryptol. ePrint Arch.
2024 (2024)
Emanuele Bellini
,
Alessandro De Piccoli
,
Mattia Formenti
,
David Gérault
,
Paul Huynh
,
Simone Pelizzola
,
Sergio Polese
,
Andrea Visconti
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.
CANS
(2023)