Research output per year
Research output per year
BS8 1UB
Security and cryptography: connections between symbolic and computational security analysis, rigourous models for security, point lattices, foundational issues.
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.
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...
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Warinschi, B. (Principal Investigator)
1/09/18 → 28/02/20
Project: Research
Warinschi, B. (Principal Investigator)
1/10/17 → 30/09/21
Project: Research
Warinschi, B. (Principal Investigator)
7/01/16 → 30/06/19
Project: Research