Abstract: Deep learning powers critical applications such as autonomous driving, healthcare, and finance, where the correctness of underlying libraries is essential. Bugs in widely used deep learning ...

Abstract: Post-quantum cryptography has come to light in the digital world as it is essential for securing digital systems against quantum attacks. Recent trends show code-based cryptosystems like ...