eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts (bibtex)
by Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
Reference:
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsClara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo MaffeiCCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020 (Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, eds.), pages 621–640, 2020, ACM.
Bibtex Entry:
@inproceedings{DBLP:conf/ccs/SchneidewindGSM20,
  author    = {Clara Schneidewind and
               Ilya Grishchenko and
               Markus Scherer and
               Matteo Maffei},
  editor    = {Jay Ligatti and
               Xinming Ou and
               Jonathan Katz and
               Giovanni Vigna},
  title     = {eThor: Practical and Provably Sound Static Analysis of Ethereum Smart
               Contracts},
  booktitle = {{CCS} '20: 2020 {ACM} {SIGSAC} Conference on Computer and Communications
               Security, Virtual Event, USA, November 9-13, 2020},
  pages     = {621--640},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3372297.3417250},
  doi       = {10.1145/3372297.3417250},
  timestamp = {Tue, 10 Nov 2020 19:56:39 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/SchneidewindGSM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser