22:19 On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications IACR
19:06 An Efficient Quantum Collision Search Algorithm and Implications on Symmetric Cryptography IACR
28:14 Automatic Search of Bit Based Division Property for ARX Ciphers and Word Based Division Property IACR