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

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: Conference or Workshop Item (A Paper) | Article | Thesis | Book Section | Other
Number of items: 20.

Conference or Workshop Item (A Paper)

Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo
(2007) A Calculus of Challenges and Responses.
In: Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering (FMSE).

Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007) Causality-based Abstraction of Multiplicity in Security Protocols.
In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Dürmuth, Markus and Küsters, Ralf
(2007) On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
In: Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS).

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2007) Information Flow in the Peer-Reviewing Process (extended abstract).
In: Proceedings of 28th IEEE Symposium on Security and Privacy (SSP).

Backes, Michael and Müller-Quade, Jörn and Unruh, Dominique
(2007) On the Necessity of Rewinding in Secure Multiparty Computation.
In: Theory of Cryptography, Proceedings of TCC 2007.

Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre
(2007) Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.
In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Article

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2007) The Reactive Simulatability Framework for Asynchronous Systems.
Information and Computation.

Thesis

Berg, Matthias
(2007) On Key-dependent Encryption.
Masters thesis, Saarland University.

Böttcher, Süntje
(2007) Multiparty Computation in an Asynchronous Network.
Bachelors thesis, Saarland University.

Eigner, Fabienne
(2007) Cryptographic Soundness of Simpler Symbolic Signatures and Authentications.
Bachelors thesis, Saarland University.

Gerling, Sebastian
(2007) LAN Crypt Gateway and Secure Browser Access.
Bachelors thesis, Saarland University.

Grochulla, Martin
(2007) Trust Model for eVoting.
Bachelors thesis, UNSPECIFIED.

Müller, Markus
(2007) Implementing Fuzzy Identity-Based Encryption.
Bachelors thesis, Saarland University.

Nicolay, Martin
(2007) Design und Implementierung eines Sync-ML Clients für das c`man-Framework für Symbian Gerät.
Bachelors thesis, UNSPECIFIED.

Pecina, Kim
(2007) Mechanized verification of Security Protocols Using Causality-based Abstractions.
Bachelors thesis, Saarland University.

Book Section

Backes, Michael and Dürmuth, Markus
(2007) Enterprise Privacy Policies and Languages.
In: UNSPECIFIED Elsevier.

Backes, Michael and Dürmuth, Markus
(2007) Enterprise Privacy Policies and Languages.
In: UNSPECIFIED Elsevier.

Other

Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007) Causality-based Abstraction of Multiplicity in Security Protocol Analysis.
UNSPECIFIED
.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2007) Vorgetäuscht / Böse Textdokumente -- Postscript gone wild.
Heise Verlag, Hannover
.

Backes, Michael and Unruh, Dominique
(2007) On the Security of Protocols with Logarithmic Communication Complexity.
UNSPECIFIED
.

This list was generated on Thu Jan 2 16:13:26 2025 CET.
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.