![]() | ![]() |
| 2012 | ||
|---|---|---|
| 6 | Raphael Khoury, Nadia Tawbi: Which security policies are enforceable by runtime monitors? A survey. Computer Science Review 6(1): 27-45 (2012) | |
| 2011 | ||
| 5 | Frédérick Lemay, Raphael Khoury, Nadia Tawbi: Optimized Inlining of Runtime Monitors. NordSec 2011: 149-161 | |
| 4 | Hugues Chabot, Raphael Khoury, Nadia Tawbi: Extending the enforcement power of truncation monitors using static analysis. Computers & Security 30(4): 194-207 (2011) | |
| 2010 | ||
| 3 | Raphael Khoury, Nadia Tawbi: Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust 2010: 176-190 | |
| 2 | Raphael Khoury, Nadia Tawbi: Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS 2010: 139-154 | |
| 2009 | ||
| 1 | Hugues Chabot, Raphael Khoury, Nadia Tawbi: Generating In-Line Monitors for Rabin Automata. NordSec 2009: 287-301 | |
| 1 | Hugues Chabot | [1] [4] |
| 2 | Frédérick Lemay | [5] |
| 3 | Nadia Tawbi | [1] [2] [3] [4] [5] [6] |
Data released under the ODC-BY 1.0 license — See also our legal information page