The lab conducts research at the intersection of cryptography, machine learning and related areas in theoretical computer science, aiming to develop new cryptographic tools for machine learning applications and to advance provable trust in AI.