Items where Division is "Michael Backes (InfSec)" and Year is 2004

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: B
Number of items: 12.

B

Backes, Michael
(2004) A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.
In: Proceedings of 9th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Bagga, Walid and Karjoth, Günter and Schunter, Matthias
(2004) Efficient Comparison of Enterprise Privacy Policies.
In: Proceedings of 19th ACM Symposium on Applied Computing (SAC).

Backes, Michael and Dürmuth, Markus and Karjoth, Günter
(2004) Unification in Privacy Policy Evaluation - Translating EPAL to Prolog.
In: Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY).

Backes, Michael and Dürmuth, Markus and Steinwandt, Rainer
(2004) An Algebra for Composing Enterprise Privacy Policies.
In: Proceedings of 9th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Hofheinz, Dennis
(2004) How to Break and Repair a Universally Composable Signature Functionality.
In: Proceedings of 7th Information Security Conference (ISC).

Backes, Michael and Pfitzmann, Birgit
(2004) Computational Probabilistic Non-Interference.
International Journal of Information Security (IJIS), 3 (1). pp. 42-60.

Backes, Michael and Pfitzmann, Birgit
(2004) A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
IEEE Journal on Selected Areas of Computing (JSAC), 22 (10). pp. 2075-2086.

Backes, Michael and Pfitzmann, Birgit
(2004) Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.
In: Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW).

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael
(2004) Polynomial Liveness.
Journal of Computer Security, 12 (3-4). pp. 589-617.

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2004) A General Composition Theorem for Secure Reactive System.
In: Proceedings of 1st Theory of Cryptography Conference (TCC).

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2004) Justifying a Dolev-Yao Model under Active Attacks.
In: UNSPECIFIED Lecture Notes in Computer Science, 3655 . Springer, pp. 1-42.

Backes, Michael and Waidner, Michael and Pfitzmann, Birgit
(2004) Low-level Ideal Signatures and General Integrity Idealization.
In: Proceedings of 7th Information Security Conference (ISC).

This list was generated on Tue Apr 23 05:27:56 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.