Michael Waidner

Available identifiers

Publication	Date of Publication	Type
Unconditional Byzantine agreement for any number of faulty processors (extended abstract)	2022-08-18	Paper
Server-Supported Signatures	2022-08-16	Paper
Limits of the BRSIM/UC soundness of Dolev-Yao models with hashes	2022-03-09	Paper
Symmetric authentication within a simulatable cryptographic library	2022-02-16	Paper
Optimal efficiency of optimistic contract signing	2016-03-02	Paper
Fragmentation considered leaking: port inference for DNS poisoning	2014-07-07	Paper
Reactively secure signature schemes	2010-02-09	Paper
Theory of Cryptography	2009-05-14	Paper
The reactive simulatability (RSIM) framework for asynchronous systems	2007-12-10	Paper
Foundations of Security Analysis and Design III	2006-11-01	Paper
Information Security	2006-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4813522	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2754173	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2757237	2001-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4499295	2001-03-05	Paper
Optimistic fair exchange of digital signatures	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4279670	1994-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4035678	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4036900	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3973157	1992-06-26	Paper

This page was built for person: Michael Waidner