Browse/search for people

Dr Bogdan Warinschi

Dr Bogdan Warinschi

Dr Bogdan Warinschi
PhD(Calif)

Reader in Cryptology

Office 3.13
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)

Tel. +44 (0) 117 3315220

Research summary

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

Keywords

  • Security
  • Cryptography

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.

  • security
  • cryptography

Professional activities

Read more >

Recent publications

  • Portela, B, Barbosa, MBM, Brasser, F, Portela, B, Sadeghi, A-R, Scerri, G & Warinschi, B, 2017, ‘Secure Multiparty Computation from SGX’. in: Financial Cryptography and Data Security 2017: Twenty-First International Conference, April 3–7, 2017, The Palace Hotel, Malta . International Financial Cryptography Association
  • Cortier, V, Dragan, CC, Dupressoir, F, Schmidt, B, Strub, P-Y & Warinschi, B, 2017, ‘Machine-Checked Proofs of Privacy for Electronic Voting Protocols’. in: 2017 IEEE 38th IEEE Symposium on Security and Privacy (SP 2017). Institute of Electrical and Electronics Engineers (IEEE)

Read more >

View complete publications list in the University of Bristol publications system

Edit this profile If you are Dr Bogdan Warinschi, you can edit this page. Login required.

All details on one page > for printing etc.