Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract). - Alexander M. Hoole; Issa Traoré; Michael Yanguo Liu (FAABS, 2002)

Measurement Framework for Software Privilege Protection Based on User Interaction Analysis. - Michael Yanguo Liu; Issa Traoré (IEEE METRICS, 2005)

Empirical relation between coupling and attackability in software systems: : a case study on DOS. - Michael Yanguo Liu; Issa Traoré (PLAS, 2006)

Complexity Measures for Secure Service-Oriented Software Architectures. - Michael Yanguo Liu; Issa Traoré (PROMISE@ICSE, 2007)