| 2009 | A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD). | Nadia Soudani, Bel G. Raggad, Belhassen Zouari |
| 2009 | Greylisting - long term analysis of anti-SPAM effect. | Tomas Sochor |
| 2009 | A formal methodology for detection of vulnerabilities in an enterprise information system. | Anirban Sengupta, Chandan Mazumdar, Aditya Bagchi |
| 2009 | A quantitative approach to assess information security related risks. | Anton Romanov, Eiji Okamoto |
| 2009 | A secured delegation of remote services on IPv6 home networks. | Stere Preda, Laurent Toutain, Nora Cuppens-Boulahia, Frdric Cuppens, Joaqun Garca-Alfaro |
| 2009 | Untrustworthiness: A trust-based security metric. | Afonso Arajo Neto, Marco Vieira |
| 2009 | A reference model for risk-aware business process management. | Stefan Jakoubi, Simon Tjoa |
| 2009 | Honeypot router for routing protocols protection. | Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula |
| 2009 | Permutation-based steganographic channels. | Kevin Forest, Scott Knight |
| 2009 | Runtime verification of declassification for imperative programs: Formal foundations. | Thomas Demongeot, Julien Mallet, Yves Le Traon |
| 2009 | SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data. | Jonathan-Christofer Demay, Eric Totel, Frdric Tronel |
| 2009 | Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. | Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri |
| 2009 | A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2009 | Modeling dependencies in security risk management. | Tansu Alpcan, Nicholas Bambos |
| 2009 | CryptoNET: Secure federation protocol and authorization policies for SMI. | Abdul Ghafoor Abbasi, Sead Muftic, Gernot Schmlzer |
| 2008 | Apport de la cryptographie elliptique dans le vote lectronique. | Souheib Yousfi, Alexis Bonnecaze, Riadh Robbana |
| 2008 | Formal procedural security modeling and analysis. | Komminist Weldemariam, Adolfo Villafiorita |
| 2008 | A new timestamping schema in the Bounded Storage Model. | Assia Ben Shil, Kaouthar Blibech, Riadh Robbana |
| 2008 | Case study: Using digital signatures for the archival of medical records in hospitals. | Sebastian Sageder, Johannes Sametinger, Andreas Wiesauer |
| 2008 | A comparative study of secret code variants in terms of keystroke dynamics. | Narainsamy Pavaday, K. M. S. Soyjaudah |
| 2008 | Revisiting enforceable security policies. | Naoyuki Nagatou |
| 2008 | EESP: A Security protocol that supports QoS management. | Mahmoud Mostafa, Anas Abou El Kalam, Christian Fraboul |
| 2008 | Anomaly-based intrusion detection using distributed intelligent systems. | Benoit Morel |
| 2008 | Economic-based vs. nature-inspired intruder detection in sensor networks. | Fatma Mili, Swapna Ghanekar, Nancy Alrajei |
| 2008 | A formal security framework for mobile agent systems: Specification and verification. | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah |