Concepedia

Nils Fleischhacker

NF

4

Publications

91

Citations

4

H-Index

2016

Active since

Affiliations

Ruhr University Bochum(Current)

Friedrich-Alexander-Universität Erlangen-Nürnberg

Nils Fleischhacker is an author at Ruhr University Bochum specializing in formal verification, engineering, and cryptography.

Top concepts

EngineeringCryptographyComputer ScienceFormal VerificationData PrivacyData SecurityFormal MethodsInformation SecurityBlockchainVerification

Publications per year

2016–2023

4

Publications

4

Squirrel

Nils Fleischhacker, Mark Simkin, Zhenfei Zhang · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 33 citations · Full text

Blockchain Consensus Protocol, Cryptographic Primitive, Engineering +12

Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments

Jonas Schneider, Nils Fleischhacker, Dominique Schröder et al. · 2016 · 27 citations

Cryptographic Primitive, Engineering, Usable Security +13

On Tight Security Proofs for Schnorr Signatures

Nils Fleischhacker, Tibor Jager, Dominique Schröder · Journal of Cryptology · 2019 · 21 citations · Full text

Cryptographic Primitive, Engineering, Digital Signature +9

Chipmunk: Better Synchronized Multi-Signatures from Lattices

Nils Fleischhacker, Gottfried Herold, Mark Simkin et al. · 2023 · 10 citations

Rows per page

1–4 of 4