Irena Stojmenovska

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Security Concerns

Formal Verification

Bounded Model Checking

Top Venues

ICT Innovations

Publications

Viktor Denkovski, Irena Stojmenovska, Goce Gavrilov, Vladimir Radevski, Vladimir Trajkovik
Investigating Privacy and Security Concerns in a Running eHealth Information System. MeditCom (2023)
Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska
PubSub implementation in Haskell with formal verification in Coq. CoRR (2020)
Ivan Vasilevski, Dobre Blazhevski, Veno Pachovski, Irena Stojmenovska
Five Years Later: How Effective Is the MAC Randomization in Practice? The No-at-All Attack. ICT Innovations (2019)