@inproceedings{von_gleissenthall_iodine_2019,
	title = {{IODINE}: {Verifying} {Constant}-{Time} {Execution} of {Hardware}},
	url = {Paper=http://goto.ucsd.edu/~gleissen/papers/iodine.pdf Code=https://github.com/gokhankici/iodine Slides=http://goto.ucsd.edu/~gleissen/papers/iodine-slides.pdf},
	booktitle = {{USENIX} {Security}},
	author = {von Gleissenthall, Klaus and Gokhan Kici, Rami and Stefan, Deian and Jhala, Ranjit},
	month = aug,
	year = {2019},
	keywords = {type\_conf, type\_paper, type\_tier1, type\_top, verification},
}

{"_id":"v3rLmaqmYrShQhkeQ","bibbaseid":"vongleissenthall-gokhankici-stefan-jhala-iodineverifyingconstanttimeexecutionofhardware-2019","author_short":["von Gleissenthall, K.","Gokhan Kici, R.","Stefan, D.","Jhala, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"IODINE: Verifying Constant-Time Execution of Hardware","booktitle":"USENIX Security","author":[{"propositions":["von"],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Gokhan","Kici"],"firstnames":["Rami"],"suffixes":[]},{"propositions":[],"lastnames":["Stefan"],"firstnames":["Deian"],"suffixes":[]},{"propositions":[],"lastnames":["Jhala"],"firstnames":["Ranjit"],"suffixes":[]}],"month":"August","year":"2019","keywords":"type_conf, type_paper, type_tier1, type_top, verification","bibtex":"@inproceedings{von_gleissenthall_iodine_2019,\n\ttitle = {{IODINE}: {Verifying} {Constant}-{Time} {Execution} of {Hardware}},\n\turl = {Paper=http://goto.ucsd.edu/~gleissen/papers/iodine.pdf Code=https://github.com/gokhankici/iodine Slides=http://goto.ucsd.edu/~gleissen/papers/iodine-slides.pdf},\n\tbooktitle = {{USENIX} {Security}},\n\tauthor = {von Gleissenthall, Klaus and Gokhan Kici, Rami and Stefan, Deian and Jhala, Ranjit},\n\tmonth = aug,\n\tyear = {2019},\n\tkeywords = {type\\_conf, type\\_paper, type\\_tier1, type\\_top, verification},\n}\n\n","author_short":["von Gleissenthall, K.","Gokhan Kici, R.","Stefan, D.","Jhala, R."],"urlPaper":"http://goto.ucsd.edu/~gleissen/papers/iodine.pdf","urlCode":"https://github.com/gokhankici/iodine","urlSlides":"http://goto.ucsd.edu/~gleissen/papers/iodine-slides.pdf","key":"von_gleissenthall_iodine_2019","id":"von_gleissenthall_iodine_2019","bibbaseid":"vongleissenthall-gokhankici-stefan-jhala-iodineverifyingconstanttimeexecutionofhardware-2019","role":"author","urls":{"Paper":"http://goto.ucsd.edu/~gleissen/papers/iodine.pdf","Code":"https://github.com/gokhankici/iodine","Slides":"http://goto.ucsd.edu/~gleissen/papers/iodine-slides.pdf"},"keyword":["type_conf","type_paper","type_tier1","type_top","verification"],"metadata":{"authorlinks":{}},"downloads":5},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["JWcaY4xDbjG3msjWc","DxZWEQASAHZAgPzez","L7FP8s8TQAiQFmr64","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","LY5xkJFgS2sBQ9umB","cEmMXPermWEFsgmMR"],"keywords":["type_conf","type_paper","type_tier1","type_top","verification"],"search_terms":["iodine","verifying","constant","time","execution","hardware","von gleissenthall","gokhan kici","stefan","jhala"],"title":"IODINE: Verifying Constant-Time Execution of Hardware","year":2019,"downloads":5}