Search results for: Ralf Küsters
2017 IEEE Symposium on Security and Privacy (SP) > 881 - 900
Moderne Kryptographie > Integrität und Authentizität > 189-192
Moderne Kryptographie > Integrität und Authentizität > 211-237
Moderne Kryptographie > Integrität und Authentizität > 239-275
Lecture Notes in Computer Science
2016 IEEE Symposium on Security and Privacy (SP) > 779 - 798
Lecture Notes in Computer Science > STACS 2004 > Cryptography > 382-393
Lecture Notes in Computer Science > Automata, Languages and Programming > Cryptographic Protocols > 95-106
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Applied Cryptography III > 422-437
Lecture Notes in Computer Science > STACS 2007 > Session 10B > 646-657
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track A > 176-187
Lecture Notes in Computer Science > Theory of Cryptography > Cryptographic Primitives and Security > 476-494
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 122-136
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Non-classical Logics > 217-232
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 241-252