Hao Chen, Jonathan S. Shapiro. Using build-integrated static checking to preserve correctness invariants. In Vijayalakshmi Atluri, Birgit Pfitzmann, Patrick Drew McDaniel, editors, Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washingtion, DC, USA, October 25-29, 2004. pages 288-297, ACM, 2004. [doi]
Abstract is missing.