Product programs and relational program logics

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computer Ethic, Engineering, Usable Security +20

Translation validation for an optimizing compiler

George C. Necula · 2000 · 482 citations

Engineering, Compiler Technology, Verification +20

Simple relational correctness proofs for static analyses and program transformations

Nick Benton · 2004 · 352 citations

Engineering, Verification, Static Analyses +19

Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian Elbaum et al. · 2008 · 264 citations

Software Maintenance, Engineering, Change Impact Analysis +21

Formal certification of code-based cryptographic proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin · 2009 · 261 citations

Cryptographic Proofs, Program Checking, Engineering +20