Michael Backes

Available identifiers

zbMath Open backes.michaelWikidataQ19296289 ScholiaQ19296289MaRDI QIDQ860895

List of research outcomes

Publication	Date of Publication	Type
Adversarial vulnerability bounds for Gaussian process classification	2023-06-27	Paper
Anonymous RAM	2022-08-19	Paper
Computational Soundness for Interactive Primitives	2022-08-19	Paper
Secure Key-Updating for Lazy Revocation	2022-03-09	Paper
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos	2022-03-09	Paper
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes	2022-03-09	Paper
Conditional Reactive Simulatability	2022-03-09	Paper
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR	2022-03-09	Paper
Quantifying Probabilistic Information Flow in Computational Reactive Systems	2022-03-09	Paper
An Algebra for Composing Enterprise Privacy Policies	2022-03-07	Paper
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol	2022-03-07	Paper
Computational Probabilistic Non-interference	2022-02-16	Paper
Symmetric Authentication within a Simulatable Cryptographic Library	2022-02-16	Paper
TrollThrottle -- raising the cost of astroturfing	2021-02-23	Paper
Periodicity detection in irregularly sampled light curves by robust regression and outlier detection	2020-10-14	Paper
Ring signatures: logarithmic-size, no setup -- from standard assumptions	2020-02-04	Paper
Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup	2020-01-28	Paper
Threshold optimization for classification in imbalanced data in a problem of gamma-ray astronomy	2019-11-27	Paper
Signatures with flexible public key: introducing equivalence classes for public keys	2019-01-23	Paper
From zoos to safaris -- from closed-world enforcement to open-world assessment of privacy	2018-10-17	Paper
Quantifying information flow in cryptographic systems	2016-07-27	Paper
Delegatable Functional Signatures	2016-04-13	Paper
Secrecy Without Perfect Randomness: Cryptography with (Bounded) Weak Sources	2016-03-10	Paper
Proactive secure message transmission in asynchronous networks	2015-09-04	Paper
Asynchronous MPC with a strict honest majority using non-equivocation	2015-09-03	Paper
Brief announcement	2014-12-05	Paper
Privacy-Preserving Accountable Computation	2014-10-16	Paper
BackRef: Accountability in Anonymous Communication Networks	2014-07-07	Paper
WebTrust – A Comprehensive Authenticity and Integrity Framework for HTTP	2014-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q2852347	2013-10-08	Paper
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification	2013-08-06	Paper
Asynchronous Computational VSS with Reduced Communication Complexity	2013-03-18	Paper
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations	2012-08-29	Paper
Union and Intersection Types for Secure Protocol Implementations	2012-08-22	Paper
G2C: Cryptographic Protocols from Goal-Driven Specifications	2012-08-22	Paper
Computational Verifiable Secret Sharing Revisited	2011-12-02	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Reactively Secure Signature Schemes	2010-02-09	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
Theory of Cryptography	2009-05-14	Paper
Limits of Constructive Security Proofs	2009-02-10	Paper
OAEP Is Secure under Key-Dependent Messages	2009-02-10	Paper
A Formal Language for Cryptographic Pseudocode	2009-01-27	Paper
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks	2008-10-27	Paper
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography	2008-04-24	Paper
The reactive simulatability (RSIM) framework for asynchronous systems	2007-12-10	Paper
On the Necessity of Rewinding in Secure Multiparty Computation	2007-08-30	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Compositional analysis of contract-signing protocols	2007-01-09	Paper
Foundations of Security Analysis and Design III	2006-11-01	Paper
Information Security	2006-10-16	Paper
Information Security	2006-10-16	Paper
Theory of Cryptography	2005-12-07	Paper
Unifying simulatability definitions in cryptographic systems under different timing assumptions	2005-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4808837	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4418691	2003-08-11	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: Michael Backes