Myrto Arapinis

From MaRDI portal
Person:476177

Available identifiers

zbMath Open arapinis.myrtoMaRDI QIDQ476177

List of research outcomes





PublicationDate of PublicationType
Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications2024-03-26Paper
Astrolabous: a universally composable time-lock encryption scheme2023-05-12Paper
When are three voters enough for privacy properties?2022-08-19Paper
https://portal.mardi4nfdi.de/entity/Q45982622017-12-19Paper
Stateful applied pi calculus: observational equivalence and labelled bisimilarity2017-05-29Paper
Bounding messages for free in security protocols -- extension to various security properties2014-11-28Paper
Dynamic Tags for Security Protocols2014-06-23Paper
Practical Everlasting Privacy2013-08-06Paper
Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity2012-06-29Paper
From One Session to Many: Dynamic Tags for Security Protocols2009-01-27Paper
Bounding Messages for Free in Security Protocols2008-04-24Paper

Research outcomes over time

This page was built for person: Myrto Arapinis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:476177&oldid=6989811"
Powered by MediaWiki