Reyhane Falanji
PhD student
Publications
2026
MoMEP: A formally verified protocol with modifiable signed messages
Journal of Information Security and Applications, Vol. 98, Article 104378
(Article in journal)
https://dx.doi.org/10.1016/j.jisa.2026.104378