Secure programs via game-based synthesis.

Somesh Jha, Thomas W. Reps, William R. Harris

Browse the full FMCAD paper archive.