If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

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

 

Fingerprint

Dive into the research topics where Bogdan Warinschi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or