Bogdan Warinschi

Bogdan Warinschi

Research interests

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

Professional activities

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 .