CryptoSAT

MaRDI QIDQ43417swMATHFDO

Official website https://ieeexplore.ieee.org/document/8513927

Cited in

(6)

• Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
• Computing AES related-key differential characteristics with constraint programming
• On black-box optimization in divide-and-conquer SAT solving
• CryptLogVer
• ALIAS
• CnC

This page was built for software: CryptoSAT