Unwinding Conditions for Security in Imperative Languages.

Annalisa Bossi, Carla Piazza, Sabina Rossi

Browse the full LOPSTR paper archive.