Bernardo Machado David

Bernardo Machado David

Ph.D.

  • 4C02

20192021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2021

    P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange

    Baum, C., David, B. & Frederiksen, T., 2021, Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I.. Springer, p. 163-194 32 p. (Lecture Notes in Computer Science, Vol. 12726).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • TARDIS: A Foundation of Time-Lock Puzzles in UC

    Baum, C., David, B., Dowsley, R., Nielsen, J. B. & Oechsner, S., 2021, Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III.. Springer, p. 429-459 31 p. (Lecture Notes in Computer Science, Vol. 12698).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 2020

    ALBATROSS: Publicly AttestabLe BATched Randomness Based On Secret Sharing

    Cascudo, I. & David, B., 2020, ASIACRYPT 2020: Advances in Cryptology – ASIACRYPT 2020. Moriai, S. & Wang, H. (eds.). Springer, p. 311-341 (Lecture Notes in Computer Science, Vol. 12493).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Efficient Composable Oblivious Transfer from CDH in the Global Random Oracle Model

    David, B. & Dowsley, R., 2020, Cryptology and Network Security. CANS 2020.. Krenn, S., Schulman, H. & Vaudenay, S. (eds.). Springer, p. 462-481| (Lecture Notes in Computer Science, Vol. 12579).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Insured MPC: Efficient Secure Computation with Financial Penalties

    Baum, C., David, B. & Dowsley, R., 2020, Financial Cryptography and Data Security. FC 2020.. Bonneau, J. & Heninger, N. (eds.). Springer, p. 404-420 (Lecture Notes in Computer Science, Vol. 12059).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2019

    Efficient UC Commitment Extension with Homomorphism for Free (and Applications)

    Cascudo, I., Damgård, I., David, B., Dowsley, R., Döttling, N. & Giacomelli, I., 22 Nov 2019, Advances in Cryptology – ASIACRYPT 2019: 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II. Galbraith, S. & Moriai, S. (eds.). Springer, p. 606-635 (Lecture Notes in Computer Science, Vol. 11922).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement

    Baum, C., David, B. & Dowsley, R., 30 Sep 2019, Financial Cryptography and Data Security. FC 2019.. Goldberg, I. & Moore, T. (eds.). Springer, p. 282-300 18 p. (Lecture Notes in Computer Science, Vol. 11598).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File