David Galindo Chacon

Publications

  1. 2021
  2. Accepted/In press

    Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons

    David Galindo Chacon, Mihai Ordean, 6 Sep 2021, (Accepted/In press) European Symposium on Security and Privacy. IEEE Xplore

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

  3. 2020
  4. Accepted/In press

    An Accountable Decryption System Based on Privacy-Preserving Smart Contracts

    David Galindo Chacon, 31 Aug 2020, (Accepted/In press) 23rd Information Security Conference, (ISC 2020). Springer, 18 p. (Lecture Notes in Computer Science; vol. 12472).

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

  5. 2019
  6. Published

    Why do public blockchains need formal and effective internal governance mechanisms?

    Karen Yeung & David Galindo Chacon, 18 Sep 2019, In: European Journal of Risk Regulation. 10, 2, p. 359-375 17 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    CAOS: Concurrent-Access Obfuscated Store

    Mihai Ordean, Mark Ryan & David Galindo Chacon, 28 May 2019, Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019). Association for Computing Machinery (ACM), p. 13-24 12 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT).

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

  8. 2018
  9. E-pub ahead of print

    A formal analysis of the Neuchâtel e-voting protocol

    David Galindo Chacon, Jul 2018, (E-pub ahead of print) Proceedings of 3rd IEEE European Symposium on Security and Privacy 2018 (EuroS&P). Institute of Electrical and Electronics Engineers (IEEE), 13 p.

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

  10. 2016
  11. Published

    BeleniosRF: a non-interactive receipt-free electronic voting scheme

    David Galindo Chacon, 24 Oct 2016, CCS’16: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery , p. 1614-1625

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

  12. Published

    Implementation of a leakage-resilient ElGamal key encapsulation mechanism

    David Galindo Chacon, Sep 2016, In: Journal of Cryptographic Engineering. 6, 3, p. 229–238

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Extended security arguments for signature schemes

    David Galindo Chacon, 1 Feb 2016, In: Designs, Codes and Cryptography. 78, 2, p. 441-461

    Research output: Contribution to journalArticlepeer-review

  14. Published

    SOK:Verifiability Notions for E-Voting Protocols

    David Galindo Chacon, 2016, 2016 IEEE Symposium on Security and Privacy (SP). IEEE Xplore, p. 779-798 20 p. (IEEE Symposium on Security and Privacy. Proceedings).

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

  15. 2015
  16. Published

    2015 neuchȃtel’s cast-as-intended verification mechanism

    David Galindo Chacon, 13 Aug 2015, E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Haenni, R., Koenig, R. E. & Wikström, D. (eds.). Springer, Vol. 9269. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9269).

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

Previous 1 2 Next