VerIFI: Formal Verification of Microarchitectural Information Flow Integrity. Ceesay-Seitz, K., Solt, F., Yin, M., & Razavi, K. In EuroS&P, July, 2026.
![VerIFI: Formal Verification of Microarchitectural Information Flow Integrity [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper ![VerIFI: Formal Verification of Microarchitectural Information Flow Integrity [link]](https://bibbase.org/img/filetypes/link.svg "link")
URL bibtex 74 downloads
Paper URL bibtex 74 downloads @inproceedings{ceesay-seitz_ifi_2026,
title = {{VerIFI: Formal Verification of Microarchitectural Information Flow Integrity}},
url = {Paper=https://comsec-files.ethz.ch/papers/ifi_eurosp26.pdf URL=https://comsec.ethz.ch/ifi},
booktitle = {{EuroS\&P}},
author = {Ceesay-Seitz, Katharina and Solt, Flavien and Yin, Mengyuan and Razavi, Kaveh},
month = jul,
year = {2026},
keywords = {dir\_designsec, proj\_promise}
}Downloads: 74
{"_id":"nTqtzr6v7t6S8rMZQ","bibbaseid":"ceesayseitz-solt-yin-razavi-verififormalverificationofmicroarchitecturalinformationflowintegrity-2026","author_short":["Ceesay-Seitz, K.","Solt, F.","Yin, M.","Razavi, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"VerIFI: Formal Verification of Microarchitectural Information Flow Integrity","booktitle":"EuroS&P","author":[{"propositions":[],"lastnames":["Ceesay-Seitz"],"firstnames":["Katharina"],"suffixes":[]},{"propositions":[],"lastnames":["Solt"],"firstnames":["Flavien"],"suffixes":[]},{"propositions":[],"lastnames":["Yin"],"firstnames":["Mengyuan"],"suffixes":[]},{"propositions":[],"lastnames":["Razavi"],"firstnames":["Kaveh"],"suffixes":[]}],"month":"July","year":"2026","keywords":"dir_designsec, proj_promise","bibtex":"@inproceedings{ceesay-seitz_ifi_2026,\n\ttitle = {{VerIFI: Formal Verification of Microarchitectural Information Flow Integrity}},\n\turl = {Paper=https://comsec-files.ethz.ch/papers/ifi_eurosp26.pdf URL=https://comsec.ethz.ch/ifi},\n\tbooktitle = {{EuroS\\&P}},\n\tauthor = {Ceesay-Seitz, Katharina and Solt, Flavien and Yin, Mengyuan and Razavi, Kaveh},\n\tmonth = jul,\n\tyear = {2026},\n\tkeywords = {dir\\_designsec, proj\\_promise}\n}\n\n","author_short":["Ceesay-Seitz, K.","Solt, F.","Yin, M.","Razavi, K."],"urlPaper":"https://comsec-files.ethz.ch/papers/ifi_eurosp26.pdf","urlURL":"https://comsec.ethz.ch/ifi","key":"ceesay-seitz_ifi_2026","id":"ceesay-seitz_ifi_2026","bibbaseid":"ceesayseitz-solt-yin-razavi-verififormalverificationofmicroarchitecturalinformationflowintegrity-2026","role":"author","urls":{"Paper":"https://comsec-files.ethz.ch/papers/ifi_eurosp26.pdf","URL":"https://comsec.ethz.ch/ifi"},"keyword":["dir_designsec","proj_promise"],"metadata":{"authorlinks":{}},"downloads":74,"html":""},"bibtype":"inproceedings","biburl":"comsec.ethz.ch/wp-content/files/bibtex.bib","dataSources":["pZypef47MfN3TyDAm","GXZDscnxRKcSqpjq7","qCFv6rqGiCEEc8vwf","YypkWwoJGZmJmmbWZ","Xy8iTfv6A3D2wALgZ","YGakxmz3J6khh9GMY","8QwvH7maHJSXTZpvH","5XuMQ2rv9KEsbws3h","vErrgJHNvRprx45QL","JFpojkLv2yZMphW8G","jhwyqxg479H4sArrb","iNhYoX7DwvD9Lfhxb","mSmH2h3mW9t2izN4E"],"keywords":["dir_designsec","proj_promise"],"search_terms":["verifi","formal","verification","microarchitectural","information","flow","integrity","ceesay-seitz","solt","yin","razavi"],"title":"VerIFI: Formal Verification of Microarchitectural Information Flow Integrity","year":2026,"downloads":74}