Generating In-Line Monitors for Rabin Automata. - Hugues Chabot; Raphaël Khoury; Nadia Tawbi (NordSec, 2009)

Extending the enforcement power of truncation monitors using static analysis. - Hugues Chabot; Raphaël Khoury; Nadia Tawbi (Comput. Secur., 2011)