A weakest precondition approach to active attacks analysis.

Musard Balliu, Isabella Mastroeni

Browse the full PLDI paper archive.