Integration of Splunk Enterprise SIEM for DDoS Attack Detection in IoT. - Marian Hristov; Maria Nenova; Georgi Iliev; Dimiter Avresky (NCA, 2021)

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. - Marian Hristov; Annette Bieniusa (Erlang, 2024)

Security Symmetry in Embedded Systems: Using Microsoft Defender for IoT to Detect Firmware Downgrade Attacks. - Marian Hristov; Maria Nenova; Viktoria Dimitrova (Symmetry, 2025)