Publications

• Attack Trees
• Publications
• Software Tool
• Library of Trees

Journal Publications

• Barbara Kordy, Sjouke Mauw, Saša Radomirović, Patrick Schweitzer. Attack-defense trees. (pre-print version) To appear in Journal of Logic and Computation 2012.
• Alessandra Bagnato, Barbara Kordy, Per Håkon Meland, Patrick Schweitzer. Attribute Decoration of Attack-Defense Trees. International Journal of Secure Software Engineering, volume 3(2), pages 1-35. IGI Global, 2012. [ excellence award ]

Conference Proceedings

Presentations, Invited Talks and Posters

• Barbara Kordy, ADTool: Security Analysis with Attack-Defense Trees, Presentation at The 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), Buenos Aires, Argentina, August 27, 2013.
• Barbara Kordy, Security Modeling and Analysis with Attack-Defense Trees, IT Security Risk Management course at Hamburg University of Technology, Hamburg, Germany, June 26, 2013.
• Barbara Kordy, Probabilistic Assessment of Attack-Defense Scenarios, Research Seminar: Recent Advances in IT Security, Hamburg University of Technology and University of Hamburg, Hamburg, Germany, June 25, 2013.
• Piotr Kordy, Patrick Schweitzer and Barbara Kordy, Automated Analysis of Attack-Defense Trees, Presentation of the software tool supporting the attack-defense tree methodology, University of Luxembourg, Luxembourg, July 10, 2012.
• Patrick Schweitzer, Specifying Quantitative Questions on Attack-Defense Trees, SaToSS Research Seminar, University of Luxembourg, Luxembourg, July 10, 2012.
• Barbara Kordy, Attack-Defense Tree Methodology for Security Assessment, Research seminar at The Formal Methods Department of LORIA, Nancy, France, May 15, 2012. [ slides ]
• Patrick Schweitzer, Security Assessment with Attack-Defense Trees, Poster Presentation at The SnT Partnership Day, Neumünster Abbey, Luxembourg, May 10, 2012.
• Barbara Kordy, Attack-Defense Tree Methodology for Security Assessment, Guest Lecture at the Department of Computer and Information Science, Norwegian University of Science and Technology (NTNU), Trondheim, Norway, April 18, 2012.
• Patrick Schweitzer, Security Assessment with Attack-Defense Trees, Research seminar at SINTEF, Trondheim, Norway, April 17, 2012.
• Barbara Kordy, Security Modeling Using Attack-Defense Trees, Research Seminar of The Information Security Group, Royal Holloway University of London, UK, March 1, 2012.
• Patrick Schweitzer, A Case Study Using Attributes on Attack-Defense Trees, SaToSS Research Seminar, University of Luxembourg, Luxembourg, July 26, 2011.
• Barbara Kordy, Computational Aspects of Attack-Defense Trees, Presentation at The International Joint Conference on Security and Intelligent Information Systems 2011, Warsaw, Poland, June 13, 2011.
• Patrick Schweitzer, Attack-Defense Trees - The Importance of Formal Modeling, Presentation for the Industrial Advisory Board of the SnT, Bettembourg, Luxembourg, May 13, 2011.
• Barbara Kordy, On propositional Attack-Defense Trees, SaToSS Research Seminar, University of Luxembourg, Luxembourg, December 14, 2010.
• Matthijs Melissen, Attack-defense trees and two-player binary zero-sum extensive form games are equivalent, Presentation at The Conference on Decision and Game Theory for Security GameSec 2010, Berlin, Germany, November 23, 2010. This talk presented the results of the collaboration between ATREES and S-GAMES projects.
• Sjouke Mauw, Attack-Defense Trees, Presentation of a case study at the Trust in Digital Life Work-group Meeting, Brussels, Belgium, September 28, 2010.
• Patrick Schweitzer, Foundations of Attack-Defense Trees, Presentation at The 7th International Workshop on Formal Aspects of Security and Trust FAST 2010, Pisa, Italy, September 16, 2010.
• Patrick Schweitzer, Foundations of Attack-Defense Trees, Presentation at The 10th International School on Foundations of Security Analysis and Design FOSAD 2010, Bertinoro, Italy, September 8, 2010.
• Patrick Schweitzer, Foundations of Attack-Defense Trees, SaToSS Research Seminar, University of Luxembourg, Luxembourg, August 30, 2010.
• Barbara Kordy, Attack-Defense Trees, Research Seminar in Computer Science Laboratory of Orléans, University of Orléans, France, May 10, 2010.
• Barbara Kordy, Attack-Defense Trees, Presentation at First Luxembourgish-Polish Workshop on Security and Trust, Bourglinster, Luxembourg, May 7, 2010.
• Barbara Kordy and Patrick Schweitzer, Attack-Defense Trees, Presentation at Laboratory of Algorithmics, Cryptology and Security Research Days, University of Luxembourg, Luxembourg, March 3, 2010.
• Patrick Schweitzer, Attack Trees, Presentation at the Start-up Workshop of the ATREES project, University of Luxembourg, Luxembourg, November 26, 2009.