%0 Conference Paper %1 conf/pldi/SwamyRRSNMVTCG22 %A Swamy, Nikhil %A Ramananandro, Tahina %A Rastogi, Aseem %A Spiridonova, Irina %A Ni, Haobin %A Malloy, Dmitry %A Vazquez, Juan %A Tang, Michael %A Cardona, Omar %A Gupta, Arti %B PLDI %D 2022 %E Jhala, Ranjit %E Dillig, Isil %I ACM %K dblp %P 31-45 %T Hardening attack surfaces with formally proven binary format parsers. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#SwamyRRSNMVTCG22 %@ 978-1-4503-9265-5

@inproceedings{conf/pldi/SwamyRRSNMVTCG22, added-at = {2022-06-03T00:00:00.000+0200}, author = {Swamy, Nikhil and Ramananandro, Tahina and Rastogi, Aseem and Spiridonova, Irina and Ni, Haobin and Malloy, Dmitry and Vazquez, Juan and Tang, Michael and Cardona, Omar and Gupta, Arti}, biburl = {https://www.bibsonomy.org/bibtex/2471011ed13ec2a46e22d27bb1ca07e25/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2022}, editor = {Jhala, Ranjit and Dillig, Isil}, ee = {https://doi.org/10.1145/3519939.3523708}, interhash = {a80abd68e8d9d829df378d105b2dffba}, intrahash = {471011ed13ec2a46e22d27bb1ca07e25}, isbn = {978-1-4503-9265-5}, keywords = {dblp}, pages = {31-45}, publisher = {ACM}, timestamp = {2024-04-09T19:00:12.000+0200}, title = {Hardening attack surfaces with formally proven binary format parsers.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#SwamyRRSNMVTCG22}, year = 2022 }