2004 Publications of the Network Security and Cryptography Group
Disclaimer
The documents distributed by this server have been provided by the
contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and
all rights therein are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's copyright.
These works may not be reposted without the explicit permission
of the copyright holder.
Michael Backes.
A cryptographically sound Dolev-Yao style security proof of the Otway-Rees
protocol.
In Proceedings of the 9th European Symposium on Research in Computer
Security (ESORICS), volume 3193 of Lecture Notes in Computer
Science, pages 89-108. Springer-Verlag, Berlin Germany, September
2004.
copyright Springer-Verlag, 2004.
(PDF)
Michael Backes.
Unifying simulatability definitions in cryptographic systems under different
timing assumptions.
Journal of Logic and Algebraic Programming, 2004.
To appear; accepted 2004. Journal version of [Back2003].
Michael Backes, Walid Bagga,
Günter Karjoth, and Matthias Schunter.
Efficient comparison of enterprise privacy policies.
In 19th ACM Symposium on Applied Computing, pages 375-382, March
2004.
Ernie Brickell, Jan Camenisch, and Liqun
Chen.
Direct anonymous attestation.
In 11th ACM Conference on Computer and Communicatons Security.
Association for Computing Machinery, October 2004.
Endre Bangerter, Jan Camenisch, and Anna
Lysyanskaya.
A cryptographic framework for the controlled release of certified data.
In Twelfth International Workshop on Security Protocols, Lecture
Notes in Computer Science. Springer Verlag, 2004.
Michael Backes and Markus Dürmuth.
A cryptographically sound Dolev-Yao style security proof of an electronic
payment system.
Research Report RZ 3565, IBM Research Division, November 2004.
Conference version: [BaDu2005].
(PDF)
Michael Backes, Anupam Datta, Ante
Derek, John C. Mitchell, and Mathieu Turuani.
Compositional analysis of contract signing protocols.
Research Report RZ 3566, IBM Research Division, November 2004.
Conference version: [BDDMT2005].
Michael Backes, Markus Dürmuth, and
Günter Karjoth.
Unification in privacy policy evaluation -- translating EPAL to Prolog.
In 5th IEEE International Workshop on Policies for Distributed Systems
and Networks (POLICY), pages 185-188. IEEE Computer Society Press,
June 2004.
Michael Backes, Markus Dürmuth, and
Rainer Steinwandt.
An algebra for composing enterprise privacy policies.
In Proceedings of the 9th European Symposium on Research in Computer
Security (ESORICS), volume 3193 of Lecture Notes in Computer
Science, pages 33-52. Springer-Verlag, Berlin Germany, September
2004.
copyright Springer-Verlag, 2004.
(PDF)
Michael Backes and Dennis Hofheinz.
How to break and repair a universally composable signature functionality.
In 7th Information Security Conference (ISC), volume 3225 of
Lecture Notes in Computer Science, pages 61-72.
Springer-Verlag, Berlin Germany, October 2004.
copyright Springer-Verlag, 2004.
Michael Backes and Birgit Pfitzmann.
Computational probabilistic non-interference.
International Journal of Information Security, 3(1):42-60,
October 2004.
Journal version of [BaPf2002].
Michael Backes, Birgit Pfitzmann,
Michael Steiner, and Michael Waidner.
Polynomial liveness.
Journal of Computer Security, 12(3):589-618, 2004.
copyright IOS Press, 2004
(http://www.csl.sri.com/programs/security/jcs/toc.html). Journal version of
[BPSW02].
(PDF)
Michael Backes, Birgit Pfitzmann, and
Michael Waidner.
A general composition theorem for secure reactive systems.
In 1st Theory of Cryptography Conference (TCC) 2004, volume 2951
of Lecture Notes in Computer Science, pages 336-354.
Springer-Verlag, Berlin Germany, February 2004.
copyright Springer-Verlag, 2004.
(PDF)
Michael Backes, Birgit Pfitzmann, and
Michael Waidner.
Low-level ideal signatures and general integrity idealization.
In 7th Information Security Conference (ISC), volume 3225 of
Lecture Notes in Computer Science, pages 39-51.
Springer-Verlag, Berlin Germany, October 2004.
copyright Springer-Verlag, 2004.
(PDF)
Michael Backes, Birgit Pfitzmann, and
Michael Waidner.
Secure asynchronous reactive
systems.
Record 2004/082, Cryptology ePrint Archive, March 2004.
Significantly extended first part of [PfiWai2001].
Christian Cachin.
An information-theoretic model for steganography.
Information and Computation, 192(1):41-56, July 2004.
(Parts of this paper appeared in Proc. 2nd Workshop on Information Hiding,
Springer, 1998.).
Jan Camenisch.
Better privacy for trusted computing platforxms.
In Peter Ryan and Pierangela Samarati, editors, European Symposium on
Research in Computer Security --- ESORICS 2004, Lecture Notes in
Computer Science. Springer Verlag, 2004.
Jan Camenisch and Jens Groth.
Group signatures: Better efficiency and new theoretical aspects.
In Security in Communication Networks, Forth International Conference,
SCN 2004, Lecture Notes in Computer Science. Springer Verlag, 2004.
Jan Camenisch, Maciej Koprowski, and
Bogdan Warinschi.
Efficient blind signatures without random oracles.
In Security in Communication Networks, Forth International Conference,
SCN 2004, Lecture Notes in Computer Science. Springer Verlag, 2004.
In submission.
Jan Camenisch and Anna Lysyanskaya.
Signature schemes and anonymous credentials from bilinear maps.
In Advances in Cryptology --- CRYPTO 2004, Lecture Notes in
Computer Science. Springer Verlag, 2004.
Christian Cachin and Asad Samar.
Secure distributed DNS.
In Proc. Intl. Conference on Dependable Systems and Networks
(DSN-2004), Florence, Italy, pages 423-432. IEEE, June 2004.
(PDF)
Christian Cachin and Reto Strobl.
Asynchronous group key exchange with failures.
In Proc. 23rd ACM Symposium on Principles of Distributed Computing (PODC
2004), July 2004.
(PDF)
Thomas Groß and Birgit Pfitzmann.
Proving a WS-Federation Passive Requestor Profile.
In ACM Secure Web Services Workshop (SWS). ACM Press, October
2004.
Preproceedings pp. 1-10. copyright ACM, 2004. This is the author's version of
the work. It is posted here by permission of ACM for your personal use. Not
for redistribution. The definitive version will published as proceedings of
SWS’04, 1-58113-973-X/04/0010.
(PDF)
Birgit Pfitzmann.
Privacy in enterprise identity federation -- policies for Liberty 2 single
signon.
Elsevier Information Security Technical Report (ISTR),
9(1):45-58, 2004.
See http://www.sciencedirect.com/science/journal/13634127. Preprint
provided here in pdf. Copyright Elsevier Ltd., 2004.
(PDF)
Birgit Pfitzmann.
Privacy in enterprise identity federation -- policies for Liberty single
signon.
In 3rd International Workshop on Privacy Enhancing Technologies (PET
2003), volume 2760 of Lecture Notes in Computer Science,
pages 189-204. Springer-Verlag, Berlin Germany, 2004.
Earlier version [Pfi2002]. copyright Springer-Verlag, Berlin Heidelberg
2003.
(PDF)
Els Van Herreweghen.
A risk-driven approach to designing privacy-enhanced secure applications.
In Proc. 2004 IFIP International Information Security Conference (SEC
2004) --- Embedded Workshop Privacy and Anonymity in Networked and
Distributed Systems (I-NetSec'04). Kluwer Academic Publishers, August
2004.
