Concepedia

Daniel Rausch

DR

Statistics

Publications

8

Citations

7K

H-Index

8

Active since

2014

Affiliations

University of Stuttgart(Current)

Daniel Rausch is an author at University of Stuttgart specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceCryptographyData SecurityFormal VerificationInformation SecurityBlockchainData PrivacyFormal MethodsVerification

Publications per year

2014–2022

8

Publications

8

Reference sequence (RefSeq) database at NCBI: current status, taxonomic expansion, and functional annotation

Nuala A. O’Leary, Matt W. Wright, J. Rodney Brister et al. · Nucleic Acids Research · 2015 · 6.8K citations · Full text

Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric

Mike Graf, Ralf Küsters, Daniel Rausch · 2020 · 54 citations

Blockchain Consensus Protocol, Engineering, Information Security +16

The IITM Model: A Simple and Expressive Model for Universal Composability

Ralf Küsters, Max Tuengerthal, Daniel Rausch · Journal of Cryptology · 2020 · 43 citations · Full text

Engineering, Information Security, Verification +25

Nicolas Huber, Ralf Küsters, Toomas Krips et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 23 citations

Democracy, Public Policy, Election Candidates +12

A Security Framework for Distributed Ledgers

Mike Graf, Daniel Rausch, Viktoria Ronge et al. · 2021 · 21 citations

Blockchain Consensus Protocol, Engineering, Information Security +16

1–5 of 8