Login / Signup
Sylwia Stachowiak
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Version Space
Search Problems
Boolean Satisfiability
Sat Solvers
Top Venues
CORES/IP&C/ACS
WETICE
</>
Publications
</>
Sylwia Stachowiak
,
Miroslaw Kurkowski
,
Artur Sobon
SAT vs. Substitution Boxes of DES like Ciphers.
WETICE
(2021)
Sylwia Stachowiak
,
Miroslaw Kurkowski
,
Artur Sobon
SAT-Based Cryptanalysis of Salsa20 Cipher.
CORES/IP&C/ACS
(2021)