Florian Kammueller

发表

Describing and Simulating Concurrent Quantum Systems

Rajagopal Nagarajan, Richard Bornat, Jaap Boender, 2020, TACAS.

Privacy by flexible parameterization with Erlang active objects.

Florian Kammueller, Andreas Fleck, Florian Kammueller, 2010 .

A security model for functional active objects with an implementation in Erlang

Florian Kammueller, Andreas Fleck, 2011 .

Inter-Blockchain Protocols with the Isabelle Infrastructure Framework

Uwe Nestmann, Florian Kammueller, U. Nestmann, 2020, FMBC@CAV.

Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011

Florian Kammueller, 2012 .

Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.

Florian Kammueller, Sandip Patel, Glenford Mapp, 2012 .

Exploring a security protocol for secure service migration in commercial cloud environments

Mahdi Aiash, Florian Kammueller, Glenford Mapp, 2017 .

Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013.

Florian Kammueller, 2014 .

Radius-SHA256 – verified remote authentication with secure hashing.

Florian Kammueller, Sandip Patel, 2011 .

Using functional active objects to enforce privacy

Florian Kammueller, Florian Kammueller, 2010 .

Modelchecking non-functional requirements for interface specifications.

Sören Preibusch, Florian Kammueller, 2008 .

Verification of quantum protocols using Coq

Rajagopal Nagarajan, Jaap Boender, Florian Kammueller, 2014 .

Security analysis of private data enquiries in Erlang

Florian Kammueller, Reiner Kammueller, Florian Kammueller, 2009 .