@conference{conference,
  author = {Christopher Nokes and Kostas Amberiadis and D. Richard Kuhn and Edwards Reed and Michael Zuzak},
  title = {Verifying Hardware Resource Isolation through Mandatory Access Control Policy},
  year = {2026},
  month = {2026-05-28 04:05:00},
  publisher = {27th International Symposium on Quality Electronic Design (ISQED 2026), San Francisco, CA, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=959997},
  doi = {https://doi.org/10.1109/ISQED69900.2026.11534784},
  language = {en},
}