Springer
E. Asarin , not CWI et al
Lecture Notes in Computer Science
European Symposium on Research in Computer Security
Cryptology

Backes, M., Dürmuth, M., Hofheinz, D., & Küsters, R. (2006). Conditional Reactive Simulatability, in Computer Security. In E. Asarin & . not . CWI et al (Eds.), Proceedings of ESORICS 2006 (pp. 424–443). Springer.