Projects per year
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
-
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
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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Research Output
Encrypted Databases: New Volume Attacks against Range Queries
Gui, Z., Johnson, O. T. & Warinschi, B., 6 Nov 2019, CCS'19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 361-378 47 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access
File
How Do We Ensure Users Engage In Secure Online Behavior? A Psychological Perspective
Williams, E. J., Noyes, J. & Warinschi, B., 29 Jan 2018. 5 p.Research output: Contribution to conference › Conference Paper
Open Access
File
Machine-checked proofs for electronic voting: Privacy and verifiability for belenios
Cortier, V., Dragan, C. C., Dupressoir, F. & Warinschi, B., Sep 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF 2018): Proceedings of a meeting held 9-12 July 2018, Oxford, United Kingdom. Institute of Electrical and Electronics Engineers (IEEE), p. 298-312 15 p. 8429313Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Supervised Work
Cryptographic Access Control: Security Models, Relations and Construction
Author: Liu, B., 28 Nov 2019Supervisor: Warinschi, B. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy (PhD)
File