Professor Bogdan Warinschi

  • BS8 1UB

20012019

Research output per year

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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

  • 65 Conference Contribution (Conference Proceeding)
  • 13 Article (Academic Journal)
  • 1 Chapter in a book
  • 1 Conference Paper

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 proceedingConference Contribution (Conference Proceeding)

Open Access
File
  • 136 Downloads (Pure)

    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 conferenceConference Paper

    Open Access
    File
  • 788 Downloads (Pure)

    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. 8429313

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

  • 4 Citations (Scopus)

    Supervised Work

    Cryptographic Access Control: Security Models, Relations and Construction

    Author: Liu, B., 28 Nov 2019

    Supervisor: Warinschi, B. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)

    File