@inproceedings{von_gleissenthall_solver-aided_2021,
	title = {Solver-{Aided} {Constant}-{Time} {Hardware} {Verification}},
	url = {Paper=http://goto.ucsd.edu/~gleissen/papers/xenon.pdf},
	booktitle = {{CCS}},
	author = {von Gleissenthall, Klaus and Gökhan Kici, Rami and Stefan, Deian and Jhala, Ranjit},
	month = nov,
	year = {2021},
	keywords = {type\_conf, type\_paper, type\_tier1, type\_top, verification},
}

{"_id":"KjHGFjCkfmT9HiZ7W","bibbaseid":"vongleissenthall-gkhankici-stefan-jhala-solveraidedconstanttimehardwareverification-2021","author_short":["von Gleissenthall, K.","Gökhan Kici, R.","Stefan, D.","Jhala, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Solver-Aided Constant-Time Hardware Verification","booktitle":"CCS","author":[{"propositions":["von"],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Gökhan","Kici"],"firstnames":["Rami"],"suffixes":[]},{"propositions":[],"lastnames":["Stefan"],"firstnames":["Deian"],"suffixes":[]},{"propositions":[],"lastnames":["Jhala"],"firstnames":["Ranjit"],"suffixes":[]}],"month":"November","year":"2021","keywords":"type_conf, type_paper, type_tier1, type_top, verification","bibtex":"@inproceedings{von_gleissenthall_solver-aided_2021,\n\ttitle = {Solver-{Aided} {Constant}-{Time} {Hardware} {Verification}},\n\turl = {Paper=http://goto.ucsd.edu/~gleissen/papers/xenon.pdf},\n\tbooktitle = {{CCS}},\n\tauthor = {von Gleissenthall, Klaus and Gökhan Kici, Rami and Stefan, Deian and Jhala, Ranjit},\n\tmonth = nov,\n\tyear = {2021},\n\tkeywords = {type\\_conf, type\\_paper, type\\_tier1, type\\_top, verification},\n}\n\n","author_short":["von Gleissenthall, K.","Gökhan Kici, R.","Stefan, D.","Jhala, R."],"urlPaper":"http://goto.ucsd.edu/~gleissen/papers/xenon.pdf","key":"von_gleissenthall_solver-aided_2021","id":"von_gleissenthall_solver-aided_2021","bibbaseid":"vongleissenthall-gkhankici-stefan-jhala-solveraidedconstanttimehardwareverification-2021","role":"author","urls":{"Paper":"http://goto.ucsd.edu/~gleissen/papers/xenon.pdf"},"keyword":["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":["29vmPL96yitMW4wvm","JWcaY4xDbjG3msjWc","L7FP8s8TQAiQFmr64","t6W6sycBAWvFqAdmK","cCFT2dQoNmvA9cGsg","EvThddwxhXnn67kfA","LY5xkJFgS2sBQ9umB","cEmMXPermWEFsgmMR"],"keywords":["type_conf","type_paper","type_tier1","type_top","verification"],"search_terms":["solver","aided","constant","time","hardware","verification","von gleissenthall","gökhan kici","stefan","jhala"],"title":"Solver-Aided Constant-Time Hardware Verification","year":2021,"downloads":4}