AOP Extension for Security Testing of Programs. - Nadia Belblidia; Mourad Debbabi; Aiman Hanna; Zhenrong Yang (CCECE, 2006)

Towards a Formal Semantics for AspectJ Weaving. - Nadia Belblidia; Mourad Debbabi (JMLC, 2006)

Security crosscutting concerns and AspectJ. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi (PST, 2006)

Formalizing AspectJ Weaving for Static Pointcuts. - Nadia Belblidia; Mourad Debbabi (SEFM, 2006)

An AOP Extended Lambda-Calculus. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (SEFM, 2007)

A Dynamic Operational Semantics for JVML. - Nadia Belblidia; Mourad Debbabi (J. Object Technol., 2007)

The dataflow pointcut: a formal and practical framework. - Dima Alhadidi; Amine Boukhtouta; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (AOSD, 2009)

lambda_SAOP: A Security AOP Calculus. - Dima Alhadidi; Nadia Belblidia; Mourad Debbabi; Prabir Bhattacharya (Comput. J., 2009)

Security Evaluation and Hardening of Free and Open Source Software (FOSS). - Robert Charpentier; Mourad Debbabi; Dima Alhadidi; Azzam Mourad; Nadia Belblidia; Amine Boukhtouta; Aiman Hanna; Rachid Hadjidj; Hakim Idrissi Kaitouni; Marc-André Laverdière; Hai Zhou Ling; Syrine Tlili; et al. (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)