Raphael Khoury - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2013

Software behaviour correlation in a redundant and diverse environment using the concept of trace abstractionAbdelwahab Hamou-Lhadj, Syed Shariyar Murtaza, Waseem Fadel, Ali Mehrabian, Mario Couture, Raphael Khoury. racs 2013: 328-335 [doi]

2012

Corrective Enforcement: A New Paradigm of Security Policy Enforcement by MonitorsRaphael Khoury, Nadia Tawbi. tissec, 15(2):10, 2012. [doi]

Which security policies are enforceable by runtime monitors? A surveyRaphael Khoury, Nadia Tawbi. csr, 6(1):27-45, 2012. [doi]

Towards a formal framework for evaluating the effectiveness of system diversity when applied to securityRaphael Khoury, Abdelwahab Hamou-Lhadj, Mario Couture. cisda 2012: 1-7 [doi]

2011

Extending the enforcement power of truncation monitors using static analysisHugues Chabot, Raphael Khoury, Nadia Tawbi. compsec, 30(4):194-207, 2011. [doi]

Optimized Inlining of Runtime MonitorsFrédérick Lemay, Raphael Khoury, Nadia Tawbi. nordsec 2012: 149-161 [doi]

2010

Corrective Enforcement of Security PoliciesRaphael Khoury, Nadia Tawbi. ifip1-7 2011: 176-190 [doi]

Using Equivalence Relations for Corrective Enforcement of Security PoliciesRaphael Khoury, Nadia Tawbi. mmmacns 2010: 139-154 [doi]

2009

Generating In-Line Monitors for Rabin AutomataHugues Chabot, Raphael Khoury, Nadia Tawbi. nordsec 2009: 287-301 [doi]

Sign in or sign up to see more results.

runs on WebDSL