Side Channel Analysis of Post-Quantum Schemes

Security of DL Models in the Cloud

Secure Lightweight Cipher Design for IoT

Modeling Non-linear (SBoxes) and Linear Components

Tool-Based Cryptanalysis with MILP