( en | de | ru )

 

Disambiguation of "Arapinis, Myrto"

Author of the publication

copydeleteadd this publication to your clipboard
StatVerif: Verification of stateful processes.

, , , and . J. Comput. Secur., 22 (5): 743-821 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Myrto Leiss

Moira Myrto Papasaranti

 

Other publications of authors with the same name

On Choosing Between Privacy Preservation Mechanisms for Mobile Trajectory Data Sharing., , , and . CNS, page 1-9. IEEE, (2018)Astrolabous: A Universally Composable Time-Lock Encryption Scheme., , and . ASIACRYPT (2), volume 13091 of Lecture Notes in Computer Science, page 398-426. Springer, (2021)A Formal Treatment of Hardware Wallets., , , and . Financial Cryptography, volume 11598 of Lecture Notes in Computer Science, page 426-445. Springer, (2019)Privacy through Pseudonymity in Mobile Telephony Systems., , , and . NDSS, The Internet Society, (2014)Analysing Unlinkability and Anonymity Using the Applied Pi Calculus., , , and . CSF, page 107-121. IEEE Computer Society, (2010)Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications., , , , and . PODC, page 200-210. ACM, (2023)Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity., , and . POST, volume 7215 of Lecture Notes in Computer Science, page 169-188. Springer, (2012)QEnclave - A practical solution for secure quantum cloud computing., , , , and . CoRR, (2021)Practical Everlasting Privacy., , , and . POST, volume 7796 of Lecture Notes in Computer Science, page 21-40. Springer, (2013)Quantum Physical Unclonable Functions: Possibilities and Impossibilities., , , and . Quantum, (2021)