@InProceedings{TanJ17Cfgform,
  author = {Gang Tan and Trent Jaeger},
  title = {{CFG} Construction Soundness in Control-Flow Integrity},
  booktitle = {ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS)},
  pages = {3--13},
  year = 2017,
  url_Paper = {http://www.cse.psu.edu/~gxt29/papers/formalizeCFGCons.pdf},
  keywords = {Software Security -> Inlined Reference Monitors (CFI; SFI; etc.)}
}

{"_id":"4F3TNhvXdA7JTxnik","bibbaseid":"tan-jaeger-cfgconstructionsoundnessincontrolflowintegrity-2017","downloads":0,"creationDate":"2018-06-29T13:38:27.070Z","title":"CFG Construction Soundness in Control-Flow Integrity","author_short":["Tan, G.","Jaeger, T."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Trent"],"propositions":[],"lastnames":["Jaeger"],"suffixes":[]}],"title":"CFG Construction Soundness in Control-Flow Integrity","booktitle":"ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS)","pages":"3–13","year":"2017","url_paper":"http://www.cse.psu.edu/~gxt29/papers/formalizeCFGCons.pdf","keywords":"Software Security -> Inlined Reference Monitors (CFI; SFI; etc.)","bibtex":"@InProceedings{TanJ17Cfgform,\n author = {Gang Tan and Trent Jaeger},\n title = {{CFG} Construction Soundness in Control-Flow Integrity},\n booktitle = {ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS)},\n pages = {3--13},\n year = 2017,\n url_Paper = {http://www.cse.psu.edu/~gxt29/papers/formalizeCFGCons.pdf},\n keywords = {Software Security -> Inlined Reference Monitors (CFI; SFI; etc.)}\n}\n\n","author_short":["Tan, G.","Jaeger, T."],"key":"TanJ17Cfgform","id":"TanJ17Cfgform","bibbaseid":"tan-jaeger-cfgconstructionsoundnessincontrolflowintegrity-2017","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/formalizeCFGCons.pdf"},"keyword":["Software Security -> Inlined Reference Monitors (CFI; SFI; etc.)"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":0,"html":""},"search_terms":["cfg","construction","soundness","control","flow","integrity","tan","jaeger"],"keywords":["software security -> inlined reference monitors (cfi; sfi; etc.)"],"authorIDs":["G4h3agvfzsvS65YBg"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}