Barbara Kordy

Dissemination

Invited talks, guest lectures, and research presentations

Attacking and defending the attack tree model. Research seminar at the LAAS laboratory, Toulouse, France, January 12, 2017.
SPTool – equivalence checker for SAND attack trees. Presentation at the 11th International Conference on Risks and Security of Internet and Systems (CRiSIS 2016), Roscoff, France, September 6, 2016.
Extending Attack Trees with Sequential AND operator. Research seminar at the School of Computing of the University of Kent, Canterbury, UK, July 13, 2016.
Foundations of Attack Trees with Sequential Conjunction. Adversarial Risk Analysis for Critical Infrastructure workshop, Lorentz Center, Leiden, The Netherlands, June 25, 2016.
Probabilistic Reasoning with Graphical Security Models. Digital Confidence seminar, University of Auvergne, Clermont-Ferrand, France, January 7, 2016.
Complete axiomatization for SAND attack trees. Research meeting of the CELTIQUE team, Sables d'Or les Pins, France, June 15, 2015.
Attack-Defense Trees: Security Modeling and Evaluation. Research seminar of the CELTIQUE team, IRISA, Rennes, France, November 28, 2014.
Probabilistic assessment of security scenarios - challenges and solutions. Presentation at the Computer Security seminar, School of Computer Science, University of Birmingham, UK, July 24, 2014.
On optimistic multi-party contract signing protocols. Research seminar at IRISA, Rennes, France, July 10, 2014.
Security Modeling and Analysis with Attack-Defense Trees. IT Security Risk Management course at Hamburg University of Technology, Hamburg, Germany, June 25, 2014.
On optimistic multi-party contract signing protocols. Research seminar: Recent Advances in IT Security, Hamburg University of Technology and University of Hamburg, Hamburg, Germany, June 24, 2014.
Probabilistic assessment of security scenarios - challenges and solutions. Presentation at the Formal Methods and Security seminar of Inria Rennes - Bretagne Atlantique, France, 16 May, 2014.
Probabilistic assessment of attack-defense scenarios with dependent actions. Presentation at the TREsPASS project meeting, Tallinn, Estonia, September 5, 2013.
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.
Security Modeling and Analysis with Attack-Defense Trees. IT Security Risk Management course at Hamburg University of Technology, Hamburg, Germany, June 26, 2013.
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.
Probabilistic framework for attack-defense trees. SaToSS research seminar, University of Luxembourg, Luxembourg, June 11, 2013.
Bottom-up Analysis of Attack-Defense Trees. TREsPASS project meeting, Lisbon, Portugal, March 7, 2013.
Attack-Defense Trees. TREsPASS project meeting, Schiphol, the Netherlands, February 22, 2013.
Quantitative Analysis of Security with Attack-Defense Trees. itrust consulting, Niederanven, Luxembourg, January 21, 2013.
Graphical Modeling of Attacks and Defenses. Keynote presentation at Attack Trees Workshop, Thales Research and Technology, Palaiseau, France, November 29, 2012.
On Optimistic Multi-Party Contract Signing Protocols. SaToSS research seminar, University of Luxembourg, Luxembourg, June 19, 2012.
Attack-Defense Tree Methodology for Security Assessment. Research seminar at Formal Methods department of LORIA, Nancy, France, May 15, 2012. [ slides ]
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.
Security Modeling Using Attack-Defense Trees. Research seminar of The Information Security group, Royal Holloway University of London, UK, March 1, 2012.
Computational Aspects of Attack-Defense Trees. Presentation at The International Joint Conference on Security and Intelligent Information Systems 2011, Warsaw, Poland, June 13, 2011.
On Propositional Attack-Defense Trees. SaToSS research seminar, University of Luxembourg, Luxembourg, December 14, 2010.
Attack-Defense Trees. Research seminar in Computer Science Laboratory of Orléans, University of Orléans, France, May 10, 2010.
Attack-Defense Trees. Presentation at First Luxembourgish-Polish Workshop on Security and Trust, Bourglinster, Luxembourg, May 7, 2010.
Attack-Defense Trees. Presentation at Laboratory of Algorithmics, Cryptology and Security Research Days, University of Luxembourg, Luxembourg, March 3, 2010.
Verifying Security Protocols Using Term Rewriting Techniques. SaToSS research seminar, University of Luxembourg, Luxembourg, November 3, 2009.
A Rewrite Approach for Pattern Containment. SaToSS research seminar, University of Luxembourg, Luxembourg, March 24, 2009.
Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès. My Ph.D. defence, University of Orléans, France, November 4, 2008.
A Rewrite Approach for Pattern Containment. Presentation at the 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, June 15, 2008.
A Rewrite Approach for Pattern Containment. Seminar in Computer Science Laboratory of Lille (LIFL), University of Lille, France, May 23, 2008.
A Clausal View for Access Control and XPath Query Evaluation. Presentation at the International Symposium on Logic-Based Program Synthesis and Transformation, DTU, Kongens Lyngby, Denmark, August 24, 2007.
Access Control and XPath Query Evaluation - Clausal View. Meeting of the XML Work Group, Center for Research in Computer Science (CRI), University of Paris I, France, July 11, 2007.
Une approche causale pour le contrôle d'accès et le traitement de requêtes XPath positives. ACI-SATIN Day, LIFO, Orléans, France, June 25, 2007.
Access Control and XPath Query Evaluation - Clausal View. Seminar in Laboratory of Algorithmic, Complexity and Logic (LACL), University of Paris XII, France, June 18, 2007.
Automata for Positive Core XPath Queries on Compressed Documents. Presentation at the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, November 15, 2006.
Requêtes sur des documents compressés. Les Deuxièmes Journées d'Informatique de la Région Centre (JIRC'06), Orléans, France, July 4, 2006.
Automata for Analyzing and Querying Compressed Documents. Presentation at Summer School Modeling and Verifying Parallel Process (MOVEP'06), LABRI, University of Bordeaux, France, 19-23 June 2006.
Automata for Positive Core XPath Queries on Compressed Documents. Presentation at Symposium 'Sciences en Sologne', University of Orléans, France, May 31, 2006.
Querying and Analyzing Compressed Documents. Seminar in Computer Science Laboratory of Lille (LIFL), Lille, France, May 19, 2006.
Querying Compressed Documents with Tree/Dag Automata. Seminar in Computer Science Laboratory of Tours, François-Rabelais University, France, April 6, 2006.
Querying Compressed Documents with Tree/Dag Automata. Presentation at the 3rd Taiwanese-French Conference on Information Technology, LORIA, Nancy, France, March 29, 2006.
Automates pour l'analyse et le traitement de documents compressés. ACI-SATIN Day, LORIA, Nancy, France, March 28, 2006.