Skip to content

Professor Bogdan Warinschi

Professor of Computer Science

1 - 10 out of 79Page size: 10
  1. 2018
  2. Published

    Safe cryptography for all: towards visual metaphor driven cryptography building blocks

    van der Linden, D., Rashid, A., Williams, E. J. & Warinschi, B., 1 Oct 2018, 2018 IEEE/ACM 1st International Workshop on Security Awareness from Design to Deployment (SEAD 2018): Proceedings of a meeting held 27 May - 3 June 2018, Gothenburg, Sweden.. Association for Computing Machinery (ACM), p. 41-44 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    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

  4. Published

    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 conferencePaper

  5. 2017
  6. Published

    Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy

    Jager, T., Stam, M., Stanley-Oakes, R. & Warinschi, B., 5 Nov 2017, Theory of Cryptography: 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I. Springer, p. 409-441 33 p. (Lecture Notes in Computer Science; vol. 10677).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. E-pub ahead of print

    Secure composition of PKIs with public key protocols

    Warinschi, B., 28 Sep 2017, 2017 IEEE Computer Security Foundations Symposium.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Generic Forward-Secure Key Agreement Without Signatures

    Delpech de Saint Guilhem, C., Smart, N. & Warinschi, B., 20 Sep 2017, Information Security - ISC 2017: 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24 2017. Proceedings. Springer, Cham, p. 114-133 20 p. (Lecture Notes in Computer Science; vol. 10599).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Machine-Checked Proofs of Privacy for Electronic Voting Protocols

    Cortier, V., Dragan, C. C., Dupressoir, F., Schmidt, B., Strub, P-Y. & Warinschi, B., Jul 2017, 2017 IEEE 38th IEEE Symposium on Security and Privacy (SP 2017): Proceedings of a meeting held 22-26 May 2017, San Jose, California, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 993-1008 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model)

    Bernhard, D., Nguyen, N. K. & Warinschi, B., 26 Jun 2017, Applied Cryptography and Network Security: 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings. Springer, p. 336-353 18 p. (Lecture Notes in Computer Science; vol. 10355).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Secure Multiparty Computation from SGX

    Portela, B., Barbosa, M. B. M., Brasser, F., Portela, B., Sadeghi, A-R., Scerri, G. & Warinschi, B., 5 Apr 2017, Financial Cryptography and Data Security 2017: Twenty-First International Conference, April 3–7, 2017, The Palace Hotel, Malta . International Financial Cryptography Association

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2016
  13. Published

    Universally Composable Cryptographic Role-Based Access Control

    Liu, B. & Warinschi, B., 16 Nov 2016, Provable Security - ProvSec 2016: 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings. Chen, L. & Han, J. (eds.). Springer, p. 61-80 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 Next