@inproceedings{adsg,
    author    = {Andrew Miller and
    Michael Hicks and
    Jonathan Katz and
    Elaine Shi},
    editor    = {Suresh Jagannathan and
    Peter Sewell},
    title     = {Authenticated data structures, generically},
    booktitle = {{POPL} 2014},
    pages     = {411--424},
    publisher = {{ACM}},
    year      = {2014},
    doi       = {10.1145/2535838.2535851}
}

@inproceedings{gadsf,
  author    = {Matthias Brun and
               Dmitriy Traytel},
  editor    = {John Harrison and
               John O'Leary and
               Andrew Tolmach},
  title     = {Generic Authenticated Data Structures, Formally},
  booktitle = {{ITP} 2019},
  series    = {LIPIcs},
  volume    = {141},
  pages     = {10:1--10:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  doi       = {10.4230/LIPIcs.ITP.2019.10}
}