@article{Shaked:2024:CFV,
  title = "Contextualizing Formal Verification for Systems Security Engineering",
  author = "Avi Shaked and Tom Melham",
  year = "2024",
  journal = "IEEE Security \& Privacy",
  pages = "2--11",
  publisher = "IEEE",
  doi = "10.1109/MSEC.2024.3503753",
}