I’m Marios and I am a Software Engineer and Researcher at Galois. I received my PhD on Cryptography from the Graduate Center of the City University of New York. I was very grateful to have Nelly Fazio as my advisor. Before joining CUNY, I received my Master in Computer Science from Paris 7 Diderot under the supervision of Iordanis Kerenidis. Before that, I studied Electrical and Computer Engineering at the National Technical University of Athens and was a member of CoReLab.

News

• 3/3/2022: Our paper Security Foundations for Application-Based Covert Communication Channels was accepted at S&P 2022.
• 12/15/2021: Our paper Towards a Formal Treatment of Logic Locking was accepted at CHES 2022.