| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ralf Küsters, Max Tuengerthal: Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. CSF 2008: 270-284 |
| 2006 | ||
| 1 | EE | Max Tuengerthal, Ralf Küsters, Mathieu Turuani: Implementing a Unification Algorithm for Protocol Analysis with XOR CoRR abs/cs/0610014: (2006) |
| 1 | Ralf Küsters | [1] [2] |
| 2 | Mathieu Turuani | [1] |