Concepedia

Florian Kammueller

FK

4

Publications

67

Citations

4

H-Index

2015

Active since

Affiliations

Technical University of Denmark(Current)

Florian Kammueller is an author at Technical University of Denmark specializing in engineering, formal methods, and cryptography.

Top concepts

EngineeringCryptographyFormal MethodsComputer ScienceFormal VerificationData PrivacyData SecurityInformation SecurityFinancePrivacy

Publications per year

2015–2018

4

Publications

4

Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems

Florian Kammueller · 2018 · 29 citations

Privacy Protection, Engineering, Gdpr Compliance +25

Towards Formal Analysis of Insider Threats for Auctions

Florian Kammueller, Manfred Kerber, Christian W. Probst · 2016 · 14 citations

Electronic Auction, Cryptographic Primitive, Engineering +23

Formalization of Quantum Protocols using Coq

Jaap Boender, Florian Kammueller, Rajagopal Nagarajan · arXiv (Cornell University) · 2015 · 14 citations · Full text

Engineering, Formal Verification, Quantum Bits +17

Insider threats for auctions: formalization, mechanized proof, and code generation

Florian Kammueller, Manfred Kerber, Christian W. Probst · Middlesex University Research Repository (Middlesex University Of London) · 2017 · 10 citations · Full text

Rows per page

1–4 of 4