Myrto Arapinis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Astrolabous: a universally composable time-lock encryption scheme Lecture Notes in Computer Science	2023-05-12	Paper
When are three voters enough for privacy properties?	2022-08-19	Paper
scientific article; zbMATH DE number 6820309 (Why is no real title available?)	2017-12-19	Paper
Stateful applied pi calculus: observational equivalence and labelled bisimilarity Journal of Logical and Algebraic Methods in Programming	2017-05-29	Paper
Bounding messages for free in security protocols -- extension to various security properties Information and Computation	2014-11-28	Paper
Dynamic tags for security protocols Logical Methods in Computer Science	2014-06-23	Paper
Practical Everlasting Privacy Lecture Notes in Computer Science	2013-08-06	Paper
Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity Lecture Notes in Computer Science	2012-06-29	Paper
From One Session to Many: Dynamic Tags for Security Protocols Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Bounding Messages for Free in Security Protocols FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper

Research outcomes over time

This page was built for person: Myrto Arapinis