Alexandre Terefenko

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Formal Semantics

Defense Mechanisms

Related Problems

Owl Dl Ontology

Top Venues

Publications

Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages. LATIN (2) (2024)
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque. CNIA (2023)
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages. CoRR (2023)
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Adversarial Formal Semantics of Attack Trees and Related Problems. GandALF (2022)