TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 25.

Backes, Michael and Ning, Peng :
Computer Security - 2009, 14th European Symposium on Research in Computer Security.
In: Lecture Notes in Computer Science (5789). Springer
[Conference or Workshop Item] , (2009)

Lux, Alexander and Mantel, Heiko
Backes, Michael and Ning, Peng (eds.) :

Declassification with Explicit Reference Points.
In: LNCS , 5789 . Springer
[Conference or Workshop Item] , (2009)

Backes, Michael and Basin, David and Waidner, Michael :
Preface.
In: Journal of Computer Security, 15 (6) p. 561.
[Article] , (2007)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems.
In: Information and Computation, 205 (12) 1685--1720.
[Article] , (2007)

Sprenger, Christoph and Backes, Michael and Basin, David and Pfitzmann, Birgit and Waidner, Michael :
Cryptographically Sound Theorem Proving.
IEEE Computer Security Foundations Workshop (CSFW) IEEE Computer Society Press
[Conference or Workshop Item] , (2006)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Formal Methods and Cryptography.
FM 2006: Formal Methods Springer-Verlag, Berlin
[Conference or Workshop Item] , (2006)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.
ESORICS '06 (European Symposium on Research in Computer Security) Springer-Verlag, Berlin
[Conference or Workshop Item] , (2006)

Backes, Michael and Karjoth, G√ľnter and Pitzmann, Birgit and Schunter, Matthias and Waidner, Michael :
Method for creating and verifying a privacy policy from a process model, and corresponding computing device and computer program element.

[Standards, patents] , (2006)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Non-determinism in multi-party computation.

[Report] , (2006)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Soundness limits of Dolev-Yao models.

[Report] , (2006)

Backes, Michael and Karioth, Guenter and Pfitzmann, Birgit and Schunter, Matthias and Waidner, Michael :
Creating a Privacy Policy From a Process Model and Verifying the Compliance.

[Standards, patents] , (2005)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Justifying a Dolev-Yao Model under Active Attacks.
Special Issue of International School of Foundations of Security Analysis and Design (FOSAD) Springer-Verlag, Berlin
[Conference or Workshop Item] , (2005)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
On the Cryptographic (Un-)Soundness of Dolev-Yao Style Hash Functions.

[Report] , (2005)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Reactively Secure Signature Schemes.
In: International Journal of Information Security (IJIS), 4 (4) 242--252.
[Article] , (2005)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Symmetric Authentication Within a Simulatable Cryptographic Library.
In: International Journal of Information Security (IJIS), Springer-Verlag, 4 (3) 135--154.
[Article] , (2005)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
A General Composition Theorem for Secure Reactive Systems.
Theory of Cryptography Conference (TCC) Springer-Verlag, Berlin
[Conference or Workshop Item] , (2004)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Low-Level Ideal Signatures and General Integrity Idealization.
7th Information Security Conference (ISC)
[Conference or Workshop Item] , (2004)

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael :
Polynomial Liveness.
In: Journal of Computer Security (JCS), 12 (3-4) 589--617.
[Article] , (2004)

Atluri, Vijayalakshmi and Backes, Michael and Basin, David and Waidner, Michael :
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004.
FMSE ACM
[Conference or Workshop Item] , (2004)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Reactively Secure Signature Schemes.
6th Information Security Conference (ISC) Springer-Verlag, Berlin
[Conference or Workshop Item] , (2003)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Security in Business Process Engineering.
Conference on Business Process Management (BPM 2003) Springer-Verlag, Berlin
[Conference or Workshop Item] , (2003)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
Symmetric Authentication Within a Simulatable Cryptographic Library.
ESORICS 2003 Springer-Verlag, Berlin
[Conference or Workshop Item] , (2003)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
A Universally Composable Cryptographic Library with Nested Operations.
10th ACM Conference on Computer and Communications Security
[Conference or Workshop Item] , (2003)

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael :
A Universally Composable Cryptographic Library.

[Report] , (2003)

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael :
Polynomial Fairness and Liveness.
IEEE Computer Security Foundations Workshop (CSFW) IEEE Computer Society Press
[Conference or Workshop Item] , (2002)

This list was generated on Sat May 18 02:04:43 2019 CEST.