search button

    Close window

      Close window

      Contact
      Share
      Section navigation

      Dr Florian Kammueller

      ROLE: Associate Professor
      SCHOOL: Science & Technology
      DEPARTMENT: Computer Science
      TELEPHONE: +44 (0)20 8411 4930
      EMAIL: F.Kammueller@mdx.ac.uk
      1. Biography &
        Qualifications
      2. Learning &
        Teaching Interests
      3. Research Outputs &
        Interests
      4. Funded Research &
        Knowledge Exchange Projects
      5. Engagement &
        Impact

      • Biography &
        Qualifications


        Languages Spoken

      • Learning &
        Teaching Interests

      • Research Outputs &
        Interests

        Publication Feed

        A proof calculus for attack trees in Isabelle

        Kammueller, Florian (2017) A proof calculus for attack trees in Isabelle. In: 12th International Workshop on Data Privacy Management (DPM 2017), 14-15 Sept 2017, Oslo, Norway. (Accepted/In press)

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

        Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2017) Exploring a security protocol for secure service migration in commercial cloud environments. In: 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017), 22-23 Mar 2017, Churchill College, University of Cambridge, United Kingdom. (Published online first)

        Model based analysis of insider threats

        Chen, Taolue and Han, Tingting and Kammueller, Florian and Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom.

        Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

        Kammueller, Florian and Augusto, Juan Carlos and Jones, Simon (2017) Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. In: IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017, 07-09 Jun 2017, University of Greenwich, London, United Kingdom.

        Formal modeling and analysis with humans in infrastructures for IoT health care systems

        Kammueller, Florian (2017) Formal modeling and analysis with humans in infrastructures for IoT health care systems. In: 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017, 09-14 Jul 2017, Vancouver, BC, Canada.

        View more publications

      • Funded Research &
        Knowledge Exchange Projects

      • Engagement &
        Impact

      In this section

      Back to top

      We use Cookies

      View our Privacy and Cookie policy

      Continue