BibTeX record journals/iacr/JacommeKS17

download as .bib file

@article{DBLP:journals/iacr/JacommeKS17,
  author       = {Charlie Jacomme and
                  Steve Kremer and
                  Guillaume Scerri},
  title        = {Symbolic Models for Isolated Execution Environments},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {70},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/070},
  timestamp    = {Mon, 11 May 2020 15:55:47 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/JacommeKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}