Bogdan Warinschi

Bogdan Warinschi

Research interests

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

Professional activities

Research papers

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

Last modified: 5 August 2009 .