| 2011 | NSS | Towards improving security testability of AADL architecture models. | Ayda Sadane, Nicolas Guelfi |
| 2009 | HPCC | A Pattern-Based General Security Framework: An eBusiness Case Study. | Azzedine Benameur, Serge Fenet, Ayda Sadane, Smriti Kumar Sinha |
| 2009 | ICAIL | How to capture and use legal patterns in IT. | Alzbeta Krausov, Fabio Massacci, Ayda Sadane |
| 2009 | RE | Legal Patterns Implement Trust in IT Requirements: When Legal Means are the "Best" Implementation of IT Technical Goals. | Alzbeta Krausov, Fabio Massacci, Ayda Sadane |
| 2008 | SEC | Anomaly Detection with Diagnosis in Diversified Systems using Information Flow Graphs. | Frdric Majorczyk, Eric Totel, Ludovic M, Ayda Sadane |
| 2006 | SSS | A Dependable Intrusion Detection Architecture Based on Agreement Services. | Michel Hurfin, Jean-Pierre Le Narzul, Frdric Majorczyk, Ludovic M, Ayda Sadane, Eric Totel, Frdric Tronel |
| 2003 | CCS | An intrusion tolerant architecture for dynamic content internet servers. | Ayda Sadane, Yves Deswarte, Vincent Nicomette |
| 2002 | PRDC | Event Log based Dependability Analysis of Windows NT and 2K Systems. | Cristina Simache, Mohamed Kaniche, Ayda Sadane |