( en | de | ru )

 

Disambiguation of "Küsters, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for the Cryptographic Verification of Java-Like Programs.

, , and . CSF, page 198-212. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralf Küsters

Ralf Küsters

Ludwig Küsters

Jürgen Küsters

Elmar Küsters

 

Other publications of authors with the same name

A Formal Definition of Online Abuse-Freeness., , and . SecureComm, volume 50 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 484-497. Springer, (2010)Extensions to Description Logics., , and . Description Logic Handbook, Cambridge University Press, (2003)Joint State Composition Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation., , and . J. Cryptol., 33 (4): 1585-1658 (2020)iUC: Flexible Universal Composability Made Simple., , , and . ASIACRYPT (3), volume 11923 of Lecture Notes in Computer Science, page 191-221. Springer, (2019)Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach., and . ACM Conference on Computer and Communications Security, page 129-138. ACM, (2008)Characterizing the semantics of terminological cycles with the help of finite automata.. Description Logics, volume 410 of URA-CNRS, (1997)A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols., , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 422-437. Springer, (2007)Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric., , and . EuroS&P, page 236-255. IEEE, (2020)Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation., and . CSF, page 157-171. IEEE Computer Society, (2009)PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation., , , , , and . Proc. ACM Hum. Comput. Interact., 8 (ETRA): 1-23 (2024)