Items where Division is "Information Security and Cryptography (InfSec)" and Year is 2002

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


Backes, Michael
(2002) Factorization of Univariate Polynomials.

Backes, Michael
(2002) New Number-Theoretic Assumptions in Cryptography (in german).

Conference or Workshop Item

Backes, Michael and Jacobi, Christian and Pfitzmann, Birgit
(2002) Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.
In: Proceedings of 11th International Symposium on Formal Methods Europe (FME).

Backes, Michael and Pfitzmann, Birgit
(2002) Computational Probabilistic Non-Interference.
In: Proceedings of 7th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael
(2002) Polynomial Fairness and Liveness.
In: Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW).


Backes, Michael
(2002) Cryptographically Sound Analysis of Security Protocols.
Doctoral thesis, Saarland University, Computer Science Department.

This list was generated on Mon Sep 16 00:02:32 2019 CEST.