Hardening attack surfaces with formally proven binary format parsers

Autor:	Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Rok vydání:	2022
Zdroj:	Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5b81c70c0de2512d5d697b580159b5ae https://doi.org/10.1145/3519939.3523708 Zobrazit plný text záznamu