My research is located in cryptography. Recently, I focused on machine learning on ecnrypted data and proving security of real world systems aided by automated provers.