@inproceedings{milburn_mitigating_2022,
	title = {Mitigating {Information} {Leakage} {Vulnerabilities} with {Type}-based {Data} {Isolation}},
	url = {Paper=https://download.vusec.net/papers/tdi_sp22.pdf Code=https://github.com/vusec/typeisolation},
	booktitle = {S\&{P}},
	author = {Milburn, Alyssa and van der Kouwe, Erik and Giuffrida, Cristiano},
	month = may,
	year = {2022},
	keywords = {class\_sanitizer, proj\_binrec, proj\_offcore, proj\_securecode, proj\_theseus, proj\_tropics, proj\_veripatch, type\_conf, type\_paper, type\_tier1, type\_top},
}

{"_id":"cGw45YhhPSdCWX37h","bibbaseid":"milburn-vanderkouwe-giuffrida-mitigatinginformationleakagevulnerabilitieswithtypebaseddataisolation-2022","author_short":["Milburn, A.","van der Kouwe, E.","Giuffrida, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation","booktitle":"S&P","author":[{"propositions":[],"lastnames":["Milburn"],"firstnames":["Alyssa"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Kouwe"],"firstnames":["Erik"],"suffixes":[]},{"propositions":[],"lastnames":["Giuffrida"],"firstnames":["Cristiano"],"suffixes":[]}],"month":"May","year":"2022","keywords":"class_sanitizer, proj_binrec, proj_offcore, proj_securecode, proj_theseus, proj_tropics, proj_veripatch, type_conf, type_paper, type_tier1, type_top","bibtex":"@inproceedings{milburn_mitigating_2022,\n\ttitle = {Mitigating {Information} {Leakage} {Vulnerabilities} with {Type}-based {Data} {Isolation}},\n\turl = {Paper=https://download.vusec.net/papers/tdi_sp22.pdf Code=https://github.com/vusec/typeisolation},\n\tbooktitle = {S\\&{P}},\n\tauthor = {Milburn, Alyssa and van der Kouwe, Erik and Giuffrida, Cristiano},\n\tmonth = may,\n\tyear = {2022},\n\tkeywords = {class\\_sanitizer, proj\\_binrec, proj\\_offcore, proj\\_securecode, proj\\_theseus, proj\\_tropics, proj\\_veripatch, type\\_conf, type\\_paper, type\\_tier1, type\\_top},\n}\n\n","author_short":["Milburn, A.","van der Kouwe, E.","Giuffrida, C."],"urlPaper":"https://download.vusec.net/papers/tdi_sp22.pdf","urlCode":"https://github.com/vusec/typeisolation","key":"milburn_mitigating_2022","id":"milburn_mitigating_2022","bibbaseid":"milburn-vanderkouwe-giuffrida-mitigatinginformationleakagevulnerabilitieswithtypebaseddataisolation-2022","role":"author","urls":{"Paper":"https://download.vusec.net/papers/tdi_sp22.pdf","Code":"https://github.com/vusec/typeisolation"},"keyword":["class_sanitizer","proj_binrec","proj_offcore","proj_securecode","proj_theseus","proj_tropics","proj_veripatch","type_conf","type_paper","type_tier1","type_top"],"metadata":{"authorlinks":{}},"downloads":196},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["aS2afpKHsveK6b6pw","HALouZyTHhXDapZ57","NB57bojGNo9dTTvq7","JWcaY4xDbjG3msjWc","TNqzk6k7NK7fGEhX3","32KKWtGJu7SSzB64u","eCpiGao5EnGQ4DAae","Mv6ehSigpWNeEseEd","L7FP8s8TQAiQFmr64","t6W6sycBAWvFqAdmK","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","Qthyg2BoQBmJAgNNw","6t3E4mrSssDkvaRSL","z8bzCztinospzN9Xd","8hbkfk9WWWjcsroig","LkcLuv5ivzocAyTSt","LY5xkJFgS2sBQ9umB","cEmMXPermWEFsgmMR","JwuXXQFQm73JzmZKq","wsKZSAddaMRquJhEm","hLN7y23EHpXeje6YX","RxMwrZc9fA5syBGDG","JLGtnQqjNvhKfC2ff"],"keywords":["class_sanitizer","proj_binrec","proj_offcore","proj_securecode","proj_theseus","proj_tropics","proj_veripatch","type_conf","type_paper","type_tier1","type_top"],"search_terms":["mitigating","information","leakage","vulnerabilities","type","based","data","isolation","milburn","van der kouwe","giuffrida"],"title":"Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation","year":2022,"downloads":196}