Security and cryptography: connections between symbolic and computational security analysis, rigourous models for security, point lattices, foundational issues.

• I am a lecturer in the Computer Science Department, University of Bristol

• I am program committee member for: POST 2017, ASIACCS 2017, Security and Privacy 2017, CSF 2016, Security and Privacy 2016, Balkan CryptSec 2016 (Chair)

• I was program committee member for: RCD 2015, EUROCRYPT 2015, EUROCRYPT 2014, ACNS 2014, CSF 2014, CRYPTO 2014, SCN 2014, CCS 2014, POST 2014, more... 

• I have organized several international summer schools: Computer Aided Analysis of Cryptographic Protocols (2016), Secure and Trustworth Computing (2015), Introduction to Cryptography (2014)
• I have organized several international workshops: Secure Key Exchange and Channel Protocols (2016), Encryption for Secure Search and other Algorithms (2015), Secure Key Exchange and Channel Protocols (2014)

Keywords

• Security
• Cryptography