@inproceedings{bordier_hartbreaker_2026,
	title = {{HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs}}, 
	url = {Paper=https://comsec-files.ethz.ch/papers/hartbreaker_isca26.pdf URL=https://comsec.ethz.ch/hartbreaker},
	booktitle = {{ISCA}},
    	author = {Bordier, Quentin and Kovats, Tobias and Solt, Flavien and Razavi, Kaveh},
	month = jun,
	year = {2026},
	keywords = {dir\_designsec, proj\_promise, type\_tier1}
}

{"_id":"xqZCq9XcadPzAuewX","bibbaseid":"bordier-kovats-solt-razavi-hartbreakerdeterministicfuzzingofmultihartriscvcpuswithnondeterministicprograms-2026","author_short":["Bordier, Q.","Kovats, T.","Solt, F.","Razavi, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs","booktitle":"ISCA","author":[{"propositions":[],"lastnames":["Bordier"],"firstnames":["Quentin"],"suffixes":[]},{"propositions":[],"lastnames":["Kovats"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Solt"],"firstnames":["Flavien"],"suffixes":[]},{"propositions":[],"lastnames":["Razavi"],"firstnames":["Kaveh"],"suffixes":[]}],"month":"June","year":"2026","keywords":"dir_designsec, proj_promise, type_tier1","bibtex":"@inproceedings{bordier_hartbreaker_2026,\n\ttitle = {{HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs}}, \n\turl = {Paper=https://comsec-files.ethz.ch/papers/hartbreaker_isca26.pdf URL=https://comsec.ethz.ch/hartbreaker},\n\tbooktitle = {{ISCA}},\n \tauthor = {Bordier, Quentin and Kovats, Tobias and Solt, Flavien and Razavi, Kaveh},\n\tmonth = jun,\n\tyear = {2026},\n\tkeywords = {dir\\_designsec, proj\\_promise, type\\_tier1}\n}\n\n","author_short":["Bordier, Q.","Kovats, T.","Solt, F.","Razavi, K."],"urlPaper":"https://comsec-files.ethz.ch/papers/hartbreaker_isca26.pdf","urlURL":"https://comsec.ethz.ch/hartbreaker","key":"bordier_hartbreaker_2026","id":"bordier_hartbreaker_2026","bibbaseid":"bordier-kovats-solt-razavi-hartbreakerdeterministicfuzzingofmultihartriscvcpuswithnondeterministicprograms-2026","role":"author","urls":{"Paper":"https://comsec-files.ethz.ch/papers/hartbreaker_isca26.pdf","URL":"https://comsec.ethz.ch/hartbreaker"},"keyword":["dir_designsec","proj_promise","type_tier1"],"metadata":{"authorlinks":{}},"downloads":60,"html":""},"bibtype":"inproceedings","biburl":"comsec.ethz.ch/wp-content/files/bibtex.bib","dataSources":["pZypef47MfN3TyDAm","qCFv6rqGiCEEc8vwf","WqDrMxqmo33Pb2FMa","YypkWwoJGZmJmmbWZ","Pnw9yXHBhNfHBXALR","YGakxmz3J6khh9GMY","8QwvH7maHJSXTZpvH","5XuMQ2rv9KEsbws3h","yEAXeAGh5JE8j3nqT","vErrgJHNvRprx45QL","iNhYoX7DwvD9Lfhxb","mSmH2h3mW9t2izN4E"],"keywords":["dir_designsec","proj_promise","type_tier1"],"search_terms":["hartbreaker","deterministic","fuzzing","multi","hart","risc","cpus","non","deterministic","programs","bordier","kovats","solt","razavi"],"title":"HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs","year":2026,"downloads":60}