CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. Brotzman, R., Liu, S., Zhang, D., Tan, G., & Kandemir, M. In IEEE Symposium on Security and Privacy (S&P), pages 364–380, 2019.
Paper bibtex 2 downloads @INPROCEEDINGS{Brotzman19Casym,
author={Robert Brotzman and Shen Liu and Danfeng Zhang and Gang Tan and Mahmut Kandemir},
title={{CaSym}: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation},
pages = {364--380},
booktitle= {IEEE Symposium on Security and Privacy (S\&P)},
year={2019},
url_Paper = {http://www.cse.psu.edu/~gxt29/papers/casym.pdf},
keywords={Software Security -> Side Channel Mitigation, Software Security -> Symbolic Execution}
}
Downloads: 2
{"_id":"PNxqML3TzNu2E4u8q","bibbaseid":"brotzman-liu-zhang-tan-kandemir-casymcacheawaresymbolicexecutionforsidechanneldetectionandmitigation-2019","downloads":2,"creationDate":"2018-11-21T04:50:12.447Z","title":"CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation","author_short":["Brotzman, R.","Liu, S.","Zhang, D.","Tan, G.","Kandemir, M."],"year":2019,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Brotzman"],"suffixes":[]},{"firstnames":["Shen"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Danfeng"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Mahmut"],"propositions":[],"lastnames":["Kandemir"],"suffixes":[]}],"title":"CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation","pages":"364–380","booktitle":"IEEE Symposium on Security and Privacy (S&P)","year":"2019","url_paper":"http://www.cse.psu.edu/~gxt29/papers/casym.pdf","keywords":"Software Security -> Side Channel Mitigation, Software Security -> Symbolic Execution","bibtex":"@INPROCEEDINGS{Brotzman19Casym,\nauthor={Robert Brotzman and Shen Liu and Danfeng Zhang and Gang Tan and Mahmut Kandemir},\ntitle={{CaSym}: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation},\npages = {364--380},\nbooktitle= {IEEE Symposium on Security and Privacy (S\\&P)},\nyear={2019},\nurl_Paper = {http://www.cse.psu.edu/~gxt29/papers/casym.pdf},\nkeywords={Software Security -> Side Channel Mitigation, Software Security -> Symbolic Execution}\n}\n\n","author_short":["Brotzman, R.","Liu, S.","Zhang, D.","Tan, G.","Kandemir, M."],"key":"Brotzman19Casym","id":"Brotzman19Casym","bibbaseid":"brotzman-liu-zhang-tan-kandemir-casymcacheawaresymbolicexecutionforsidechanneldetectionandmitigation-2019","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/casym.pdf"},"keyword":["Software Security -> Side Channel Mitigation","Software Security -> Symbolic Execution"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/pub_bytopic.html"}},"downloads":2,"html":""},"search_terms":["casym","cache","aware","symbolic","execution","side","channel","detection","mitigation","brotzman","liu","zhang","tan","kandemir"],"keywords":["software security -> side channel mitigation","software security -> symbolic execution"],"authorIDs":["G4h3agvfzsvS65YBg"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}