Safe Coding: Rigorous Modular Reasoning about Software Safety (Extended Version)

Google Security Engineering (2025) (to appear)
Google Scholar

Abstract

(to appear)