![]() | Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer ! |
Terefenko, A. (2023). Formal trace semantics for attack-defence trees. Paper presented at Logical Aspects in Multi-Agent Systems and Strategic Reasoning. |
![]() | Brihaye, T.* , Pinchinat, S.* , & Terefenko, A.*. (20 September 2022). Adversarial Formal Semantics of Attack Trees and Related Problems. Electronic Proceedings in Theoretical Computer Science, EPTCS, 370, 162 - 177. doi:10.4204/EPTCS.370.11 ![]() * These authors have contributed equally to this work. |
Terefenko, A. (2022). Adversarial formal semantics of attack trees and related problems. Paper presented at 18e Journées Montoises d'Informatique Théorique. |
Terefenko, A. (2022). Multi-Player Attack Trees. Paper presented at Highlights of Logic, Games, and Automata. |
Terefenko, A. (2022). Multi-player attack trees. Paper presented at Summer school MOVEP 2022. |