Research output per year
Research output per year
Fingerprint
Dive into the research topics where Alyzia-Maria Konsta is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Attack Tree Generation via Process Mining
Konsta, A. M., Di Federico, G., Lluch Lafuente, A. & Burattin, A., 2025, Proceedings of the 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024. Springer, Vol. 15219. p. 356-372Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Synthesis and Optimal Observability for Attack Trees
Konsta, A.-M., 2025, Technical University of Denmark. 160 p.Research output: Book/Report › Ph.D. thesis
Open AccessFile17 Downloads (Orbit) -
Survey: Automatic generation of attack trees and attack graphs
Konsta, A.-M., Lluch Lafuente, A., Spiga, B. & Dragoni, N., 2024, In: Computers and Security. 137, 12 p., 103602.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile158 Downloads (Orbit) -
What Should Be Observed for Optimal Reward in POMDPs?
Konsta, A. M., Lluch Lafuente, A. & Matheja, C., 2024, Proceedings of the 36th International Conference on Computer Aided Verification . Springer, Vol. 14683. p. 373-394Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile69 Downloads (Orbit) -
A Survey of Trust Management for Internet of Things
Konsta, A. M., Lafuente, A. L. & Dragoni, N., 2023, In: IEEE Access. 11, p. 122175-122204Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile100 Downloads (Orbit)
Projects
- 1 Finished
-
IoT Security Risk Modelling and Assessment
Konsta, A.-M. (PhD Student), Lluch Lafuente, A. (Main Supervisor), Dragoni, N. (Supervisor), Beek, M. T. (Examiner) & Vandin, A. (Examiner)
01/02/2022 → 02/05/2025
Project: PhD