Bogdan Warinschi

Bogdan Warinschi

Research interests

Security and cryptography: connections between symbolic and computational security analysis, rigourous models for security, compositionality

Professional activities

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)

Research papers (See DBLP or Google Scholar for up to date information)

Contact information:

Address: Click here
Telephone: +44 (0)117 3315220
E-mail: (first-name-in-lower-case) at cs dot bris dot ac dot uk .