Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement.

Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Browse the full ESORICS paper archive.