Ralf Küsters

Univ. -Prof. Dr. rer. nat. Ralf Küsters

Organization

Informationssicherheit

ORCID

0000-0002-9071-9312

Own Thesis
Related Theses

No resources found

Formal analysis of web protocols and mechanized security proofs

P. Hosseyni. Universität Stuttgart, Stuttgart, Dissertation, (2026)

Doctoral advisor: Ralf Küsters
First reviewer:

Reviewer:
Advisor:
Author: Seyed Pedram Hosseyni Damabi
Editor:
Other:

Mechanized modeling and security proofs for web protocols

T. Würtele. Universität Stuttgart, Stuttgart, Dissertation, (2025)

Doctoral advisor: Ralf Küsters
First reviewer:

Reviewer:
Advisor:
Author: Tim Würtele
Editor:
Other:

Composable accountability for distributed ledgers

M. Graf. Universität Stuttgart, Stuttgart, Dissertation, (2024)

Doctoral advisor: Ralf Küsters
First reviewer:

Reviewer:
Advisor:
Author: Mike Graf
Editor:
Other:

Verifiable tally-hiding remote electronic voting

J. Liedtke. Universität Stuttgart, Stuttgart, Dissertation, (2023)

Doctoral advisor: Ralf Küsters
First reviewer:

Reviewer:
Advisor:
Author: Julian Liedtke
Editor:
Other:

Publications 27
sort by
added at
title
author
publication date
entry type
help for advanced sorting...