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
- 1 Similar Profiles
Network
Projects
- 3 Finished
Research output
-
Authentication in Key-Exchange: Definitions, Relations and Composition
Delpech De Saint Guilhem, C. P. R., Fischlin, M. & Warinschi, B., 22 Jun 2020, 2020 IEEE 33rd Computer Security Foundations Symposium. p. 288 303 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access -
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
Cortier, V., Lallemand, J. & Warinschi, B., 22 Jun 2020, 2020 IEEE 33rd Computer Security Foundations Symposium. IEEE Computer SocietyResearch output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access -
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 AccessFile30 Citations (Scopus)273 Downloads (Pure)