Hardening Attack Surfaces with Formally Proven Binary Format Parsers (bibtex)

by Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona and Arti Gupta

View PDF

Reference:

Hardening Attack Surfaces with Formally Proven Binary Format Parsers (Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona and Arti Gupta), In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '22), June 13–17, 2022, San Diego, CA, USA, 2022.

Bibtex Entry:

@inproceedings{everparse3d,
  author = {Nikhil Swamy and
            Tahina Ramananandro and
            Aseem Rastogi and
            Irina Spiridonova and
            Haobin Ni and
            Dmitry Malloy and
            Juan Vazquez and
            Michael Tang and
            Omar Cardona and
            Arti Gupta},
  title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
  booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '22), June 13--17, 2022, San Diego, CA, USA},
  shortbooktitle = {PLDI},
  year = 2022,
  month = June,
  url = {https://www.fstar-lang.org/papers/EverParse3D.pdf}
}