@inproceedings{cauligi_towards_2020,
	title = {Towards {Constant}-{Time} {Foundations} for the {New} {Spectre} {Era}},
	url = {Paper=http://goto.ucsd.edu/~gleissen/papers/spectre-semantics.pdf Code=https://pitchfork.programming.systems/},
	booktitle = {{PLDI}},
	author = {Cauligi, Sunjay and Disselkoen, Craig and von Gleissenthall, Klaus and Tullsen, Dean and Stefan, Deian and Rezk, Tamara and Barthe, Gilles},
	month = jun,
	year = {2020},
	keywords = {class\_sidechannels, type\_conf, type\_paper, type\_tier1, type\_top, verification},
}

{"_id":"EzgW7hx5ZbbFAv4ck","bibbaseid":"cauligi-disselkoen-vongleissenthall-tullsen-stefan-rezk-barthe-towardsconstanttimefoundationsforthenewspectreera-2020","author_short":["Cauligi, S.","Disselkoen, C.","von Gleissenthall, K.","Tullsen, D.","Stefan, D.","Rezk, T.","Barthe, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards Constant-Time Foundations for the New Spectre Era","booktitle":"PLDI","author":[{"propositions":[],"lastnames":["Cauligi"],"firstnames":["Sunjay"],"suffixes":[]},{"propositions":[],"lastnames":["Disselkoen"],"firstnames":["Craig"],"suffixes":[]},{"propositions":["von"],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Tullsen"],"firstnames":["Dean"],"suffixes":[]},{"propositions":[],"lastnames":["Stefan"],"firstnames":["Deian"],"suffixes":[]},{"propositions":[],"lastnames":["Rezk"],"firstnames":["Tamara"],"suffixes":[]},{"propositions":[],"lastnames":["Barthe"],"firstnames":["Gilles"],"suffixes":[]}],"month":"June","year":"2020","keywords":"class_sidechannels, type_conf, type_paper, type_tier1, type_top, verification","bibtex":"@inproceedings{cauligi_towards_2020,\n\ttitle = {Towards {Constant}-{Time} {Foundations} for the {New} {Spectre} {Era}},\n\turl = {Paper=http://goto.ucsd.edu/~gleissen/papers/spectre-semantics.pdf Code=https://pitchfork.programming.systems/},\n\tbooktitle = {{PLDI}},\n\tauthor = {Cauligi, Sunjay and Disselkoen, Craig and von Gleissenthall, Klaus and Tullsen, Dean and Stefan, Deian and Rezk, Tamara and Barthe, Gilles},\n\tmonth = jun,\n\tyear = {2020},\n\tkeywords = {class\\_sidechannels, type\\_conf, type\\_paper, type\\_tier1, type\\_top, verification},\n}\n\n","author_short":["Cauligi, S.","Disselkoen, C.","von Gleissenthall, K.","Tullsen, D.","Stefan, D.","Rezk, T.","Barthe, G."],"urlPaper":"http://goto.ucsd.edu/~gleissen/papers/spectre-semantics.pdf","urlCode":"https://pitchfork.programming.systems/","key":"cauligi_towards_2020","id":"cauligi_towards_2020","bibbaseid":"cauligi-disselkoen-vongleissenthall-tullsen-stefan-rezk-barthe-towardsconstanttimefoundationsforthenewspectreera-2020","role":"author","urls":{"Paper":"http://goto.ucsd.edu/~gleissen/papers/spectre-semantics.pdf","Code":"https://pitchfork.programming.systems/"},"keyword":["class_sidechannels","type_conf","type_paper","type_tier1","type_top","verification"],"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["JWcaY4xDbjG3msjWc","oDkeHgzCjYCce6bCW","L7FP8s8TQAiQFmr64","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","cEmMXPermWEFsgmMR","LY5xkJFgS2sBQ9umB"],"keywords":["class_sidechannels","type_conf","type_paper","type_tier1","type_top","verification"],"search_terms":["towards","constant","time","foundations","new","spectre","era","cauligi","disselkoen","von gleissenthall","tullsen","stefan","rezk","barthe"],"title":"Towards Constant-Time Foundations for the New Spectre Era","year":2020,"downloads":4}