|
∙ |
Exploiting attack-defense trees to find an optimal set of countermeasures.
Presentation at the 33rd IEEE Computer Security Foundations Symposium (CSF 2020),
online, June 25, 2020.
|
|
∙ |
Attack trees - chasing missing attack vectors.
Research seminar of the EMSEC team, IRISA, Rennes, France,
October 17, 2019.
|
|
∙ |
Efficient attack-defense tree analysis using Pareto attribute domains.
Presentation at the 32rd IEEE Computer Security Foundations Symposium (CSF 2019),
Hoboken, NJ, USA, June 26, 2019.
|
|
∙ |
Attack-defense trees for abusing optical power meters: A case study and the OSEAD tool experience report.
Presentation at the 6th International Workshop on Graphical Models for Security
(GraMSec 2019), Hoboken, NJ, USA, June 24, 2019.
|
|
∙ |
Attack trees: a notion of missing attacks.
Presentation at the 6th International Workshop on Graphical Models for Security
(GraMSec 2019), Hoboken, NJ, USA, June 24, 2019.
|
|
∙ |
Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide.
Presentation at the 4th International Workshop on Graphical Models for Security
(GraMSec 2017), Santa Barbara, CA , USA, August 21, 2017.
|
|
∙ |
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,
May 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.
|
|
∙ |
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.
|
|
∙ |
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.
|
|
∙ |
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.
Research presentation 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.
|
