CryptoSAT

swMATH31706MaRDI QIDQ43417FDOQ43417

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: CryptoSAT