Florian Kamm

Verification with AVISPA to Engineer Network Security Protocols

Sandip Patel, Glenford Mapp, Florian Kamm, 2012 .

Security Analysis of Private Data Enquiries in Erlang

Florian Kamm, Reiner Kamm, 2009 .

Enhancing Privacy Implementations of Database Enquiries

Florian Kamm, Reiner Kamm, 2009 .

An industrial application of symbolic model checking The TWIN elevator case study

Florian Kamm, 2008 .