
Bogdan Warinschi
Current positions
Professor of Computer Science
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
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
-
I am a lecturer in the Computer Science Department, University of Bristol
-
I am program committee member for: POST 2017, ASIACCS 2017, Security and Privacy 2017, CSF 2016, Security and Privacy 2016, Balkan CryptSec 2016 (Chair)
-
I was program committee member for: RCD 2015, EUROCRYPT 2015, EUROCRYPT 2014, ACNS 2014, CSF 2014, CRYPTO 2014, SCN 2014, CCS 2014, POST 2014, more...
- I have organized several international summer schools: Computer Aided Analysis of Cryptographic Protocols (2016), Secure and Trustworth Computing (2015), Introduction to Cryptography (2014)
- I have organized several international workshops: Secure Key Exchange and Channel Protocols (2016), Encryption for Secure Search and other Algorithms (2015), Secure Key Exchange and Channel Protocols (2014)
Keywords
- Security
- Cryptography
Projects and supervisions
Research projects
8030 Understanding Information Leakage in Searchable Encryption
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/09/2018 to 28/02/2020
Trusted Hardware Based Software Licensing
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/10/2017 to 30/09/2021
Royal Soceity International Exchange
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
07/01/2016 to 30/06/2019
Thesis supervisions
On the Theory and Design of Post-Quantum Authenticated Key-Exchange, Encryption and Signatures
Supervisors
New Perspectives on Structured Encryption
Supervisors
Cryptographic Access Control
Supervisors
Engineering a platform for local peer-to-peer electricity trading
Supervisors
Usable Abstractions for Secure Programming
Supervisors
Breaking boundaries for adoption of accessible high fidelity haptic feedback technologies
Supervisors
Publications
Recent publications
22/06/2020Authentication in Key-Exchange: Definitions, Relations and Composition
2020 IEEE 33rd Computer Security Foundations Symposium
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
2020 IEEE 33rd Computer Security Foundations Symposium
Encrypted Databases
CCS'19
Machine-checked proofs for electronic voting
2018 IEEE 31st Computer Security Foundations Symposium (CSF 2018)
Safe cryptography for all
2018 IEEE/ACM 1st International Workshop on Security Awareness from Design to Deployment (SEAD 2018)