Marian Hristov

According to our database¹, Marian Hristov authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Security Symmetry in Embedded Systems: Using Microsoft Defender for IoT to Detect Firmware Downgrade Attacks.

[BibT_eX]

[DOI]

Symmetry, 2025

2024

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2021

Integration of Splunk Enterprise SIEM for DDoS Attack Detection in IoT.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021