BibTeX record conf/acns/BetarteCLSZ20

• > Home > conf/acns/BetarteCLSZ20

@inproceedings{DBLP:conf/acns/BetarteCLSZ20,
  author       = {Gustavo Betarte and
                  Maximiliano Cristi{\'{a}} and
                  Carlos Daniel Luna and
                  Adri{\'{a}}n Silveira and
                  Dante Zanarini},
  editor       = {Jianying Zhou and
                  Mauro Conti and
                  Chuadhry Mujeeb Ahmed and
                  Man Ho Au and
                  Lejla Batina and
                  Zhou Li and
                  Jingqiang Lin and
                  Eleonora Losiouk and
                  Bo Luo and
                  Suryadipta Majumdar and
                  Weizhi Meng and
                  Mart{\'{\i}}n Ochoa and
                  Stjepan Picek and
                  Georgios Portokalidis and
                  Cong Wang and
                  Kehuan Zhang},
  title        = {Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency
                  Protocol},
  booktitle    = {Applied Cryptography and Network Security Workshops - {ACNS} 2020
                  Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S{\&}P, SCI,
                  SecMT, and SiMLA, Rome, Italy, October 19-22, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12418},
  pages        = {3--23},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61638-0\_1},
  doi          = {10.1007/978-3-030-61638-0\_1},
  timestamp    = {Thu, 23 Jun 2022 19:58:29 +0200},
  biburl       = {https://dblp.org/rec/conf/acns/BetarteCLSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}