Profil

Terefenko Alexandre

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Université de Mons - UMONS > Facult?des Sciences > Service de Math?atiques effectives


Main Referenced Co-authors
Brihaye, Thomas  (1)
Capon, Chloé  (1)
Goeminne, Aline  (1)
Lecomte, Nicolas  (1)
Main, James  (1)
Main Referenced Keywords
Computer Science - Computer Science and Game Theory (5); Formal approach (5); Formal Semantics (5); Transition system (5); Attack tree (4);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (1)
Main Referenced Disciplines
Computer science (6)
Mathematics (6)

Publications (total 6)

The most downloaded
2 downloads
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 https://hdl.handle.net/20.500.12907/44643

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
Peer reviewed
* 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.

Contact ORBi