Research output

1. Inverting Cryptographic Hash Functions via Cube-and-Conquer

   Research output: Contribution to journal › Article › peer-review

2. Towards Better SAT Encodings for Hash Function Inversion Problems

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (2) »