Myrto Arapinis

Available identifiers

zbMath Open arapinis.myrtoMaRDI QIDQ476177

List of research outcomes

Publication	Date of Publication	Type
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications	2024-03-26	Paper
Astrolabous: a universally composable time-lock encryption scheme	2023-05-12	Paper
When are three voters enough for privacy properties?	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4598262	2017-12-19	Paper
Stateful applied pi calculus: observational equivalence and labelled bisimilarity	2017-05-29	Paper
Bounding messages for free in security protocols -- extension to various security properties	2014-11-28	Paper
Dynamic Tags for Security Protocols	2014-06-23	Paper
Practical Everlasting Privacy	2013-08-06	Paper
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity	2012-06-29	Paper
From One Session to Many: Dynamic Tags for Security Protocols	2009-01-27	Paper
Bounding Messages for Free in Security Protocols	2008-04-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Myrto Arapinis