Reyhane Falanji
Doktorand
Publikationer
2026
MoMEP: A formally verified protocol with modifiable signed messages
Journal of Information Security and Applications, Vol. 98, Artikel 104378
(Artikel i tidskrift)
https://dx.doi.org/10.1016/j.jisa.2026.104378