@inproceedings{ceesay-seitz_ucfi_2024,
	title = {{𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity}},
	url = {Paper=https://comsec.ethz.ch/wp-content/files/mucfi_ccs24.pdf URL=https://comsec.ethz.ch/mucfi},
	booktitle = {{CCS}},
	author = {Ceesay-Seitz, Katharina and Solt, Flavien and Razavi, Kaveh},
	month = oct,
	year = {2024},
	keywords = {dir\_designsec, proj\_promise, type\_tier1}
}

{"_id":"yACX7RhPzKT9KoDSh","bibbaseid":"ceesayseitz-solt-razavi-cfiformalverificationofmicroarchitecturalcontrolflowintegrity-2024","author_short":["Ceesay-Seitz, K.","Solt, F.","Razavi, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity","booktitle":"CCS","author":[{"propositions":[],"lastnames":["Ceesay-Seitz"],"firstnames":["Katharina"],"suffixes":[]},{"propositions":[],"lastnames":["Solt"],"firstnames":["Flavien"],"suffixes":[]},{"propositions":[],"lastnames":["Razavi"],"firstnames":["Kaveh"],"suffixes":[]}],"month":"October","year":"2024","keywords":"dir_designsec, proj_promise, type_tier1","bibtex":"@inproceedings{ceesay-seitz_ucfi_2024,\n\ttitle = {{𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity}},\n\turl = {Paper=https://comsec.ethz.ch/wp-content/files/mucfi_ccs24.pdf URL=https://comsec.ethz.ch/mucfi},\n\tbooktitle = {{CCS}},\n\tauthor = {Ceesay-Seitz, Katharina and Solt, Flavien and Razavi, Kaveh},\n\tmonth = oct,\n\tyear = {2024},\n\tkeywords = {dir\\_designsec, proj\\_promise, type\\_tier1}\n}\n\n","author_short":["Ceesay-Seitz, K.","Solt, F.","Razavi, K."],"urlPaper":"https://comsec.ethz.ch/wp-content/files/mucfi_ccs24.pdf","urlURL":"https://comsec.ethz.ch/mucfi","key":"ceesay-seitz_ucfi_2024","id":"ceesay-seitz_ucfi_2024","bibbaseid":"ceesayseitz-solt-razavi-cfiformalverificationofmicroarchitecturalcontrolflowintegrity-2024","role":"author","urls":{"Paper":"https://comsec.ethz.ch/wp-content/files/mucfi_ccs24.pdf","URL":"https://comsec.ethz.ch/mucfi"},"keyword":["dir_designsec","proj_promise","type_tier1"],"metadata":{"authorlinks":{}},"downloads":143,"html":""},"bibtype":"inproceedings","biburl":"https://comsec.ethz.ch/wp-content/files/bibtex.bib","dataSources":["pZypef47MfN3TyDAm","GXZDscnxRKcSqpjq7","qCFv6rqGiCEEc8vwf","YGakxmz3J6khh9GMY","Xy8iTfv6A3D2wALgZ","YypkWwoJGZmJmmbWZ"],"keywords":["dir_designsec","proj_promise","type_tier1"],"search_terms":["cfi","formal","verification","microarchitectural","control","flow","integrity","ceesay-seitz","solt","razavi"],"title":"𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity","year":2024,"downloads":143}