Browse/search for people

Professor Bogdan Warinschi

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

Expertise

I am interested in security and cryptography; more specifically, the connections between symbolic and computational security analysis, rigourous models for security, point lattices, and foundational issues.

Professional Activities

Keywords

  • Security
  • Cryptography

 

Research keywords

  • Security
  • Cryptography