@inproceedings{vassena_automatically_2021,
	title = {Automatically {Eliminating} {Speculative} {Leaks} from {Cryptographic} {Code} with {Blade}},
	url = {Paper=http://goto.ucsd.edu/~gleissen/papers/blade.pdf Code=https://github.com/plsyssec/lucet-blade},
	booktitle = {{POPL}},
	author = {Vassena, Marco and Disselkoen, Craig and von Gleissenthall, Klaus and Cauligi, Sunjay and Ghokan Kici, Rami and Jhala, Ranjit and Tullsen, Dean and Stefan, Deian},
	month = jan,
	year = {2021},
	note = {Distinguished Paper Award},
	keywords = {class\_sidechannels, type\_award, type\_conf, type\_paper, type\_tier1, type\_top, verification},
}

{"_id":"Ao7Pfa4e2mdFL27hN","bibbaseid":"vassena-disselkoen-vongleissenthall-cauligi-ghokankici-jhala-tullsen-stefan-automaticallyeliminatingspeculativeleaksfromcryptographiccodewithblade-2021","author_short":["Vassena, M.","Disselkoen, C.","von Gleissenthall, K.","Cauligi, S.","Ghokan Kici, R.","Jhala, R.","Tullsen, D.","Stefan, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade","booktitle":"POPL","author":[{"propositions":[],"lastnames":["Vassena"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Disselkoen"],"firstnames":["Craig"],"suffixes":[]},{"propositions":["von"],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Cauligi"],"firstnames":["Sunjay"],"suffixes":[]},{"propositions":[],"lastnames":["Ghokan","Kici"],"firstnames":["Rami"],"suffixes":[]},{"propositions":[],"lastnames":["Jhala"],"firstnames":["Ranjit"],"suffixes":[]},{"propositions":[],"lastnames":["Tullsen"],"firstnames":["Dean"],"suffixes":[]},{"propositions":[],"lastnames":["Stefan"],"firstnames":["Deian"],"suffixes":[]}],"month":"January","year":"2021","note":"Distinguished Paper Award","keywords":"class_sidechannels, type_award, type_conf, type_paper, type_tier1, type_top, verification","bibtex":"@inproceedings{vassena_automatically_2021,\n\ttitle = {Automatically {Eliminating} {Speculative} {Leaks} from {Cryptographic} {Code} with {Blade}},\n\turl = {Paper=http://goto.ucsd.edu/~gleissen/papers/blade.pdf Code=https://github.com/plsyssec/lucet-blade},\n\tbooktitle = {{POPL}},\n\tauthor = {Vassena, Marco and Disselkoen, Craig and von Gleissenthall, Klaus and Cauligi, Sunjay and Ghokan Kici, Rami and Jhala, Ranjit and Tullsen, Dean and Stefan, Deian},\n\tmonth = jan,\n\tyear = {2021},\n\tnote = {Distinguished Paper Award},\n\tkeywords = {class\\_sidechannels, type\\_award, type\\_conf, type\\_paper, type\\_tier1, type\\_top, verification},\n}\n\n","author_short":["Vassena, M.","Disselkoen, C.","von Gleissenthall, K.","Cauligi, S.","Ghokan Kici, R.","Jhala, R.","Tullsen, D.","Stefan, D."],"urlPaper":"http://goto.ucsd.edu/~gleissen/papers/blade.pdf","urlCode":"https://github.com/plsyssec/lucet-blade","key":"vassena_automatically_2021","id":"vassena_automatically_2021","bibbaseid":"vassena-disselkoen-vongleissenthall-cauligi-ghokankici-jhala-tullsen-stefan-automaticallyeliminatingspeculativeleaksfromcryptographiccodewithblade-2021","role":"author","urls":{"Paper":"http://goto.ucsd.edu/~gleissen/papers/blade.pdf","Code":"https://github.com/plsyssec/lucet-blade"},"keyword":["class_sidechannels","type_award","type_conf","type_paper","type_tier1","type_top","verification"],"metadata":{"authorlinks":{}},"downloads":20},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["JWcaY4xDbjG3msjWc","29vmPL96yitMW4wvm","5girqY3WnZTcWxG3T","L7FP8s8TQAiQFmr64","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","i6EAiXQupRnvdSt2g","DLugeJAYYvwYZmqse","LY5xkJFgS2sBQ9umB","cEmMXPermWEFsgmMR"],"keywords":["class_sidechannels","type_award","type_conf","type_paper","type_tier1","type_top","verification"],"search_terms":["automatically","eliminating","speculative","leaks","cryptographic","code","blade","vassena","disselkoen","von gleissenthall","cauligi","ghokan kici","jhala","tullsen","stefan"],"title":"Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade","year":2021,"downloads":20}