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
Jump to: B
Number of items: 6.


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

Backes, Michael
(2002) Factorization of Univariate Polynomials.

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

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).

This list was generated on Mon Jul 6 00:02:33 2020 CEST.