Florian Kammüller

Citado por

	Total	Desde 2020
Citas	1223	473
Índice h	18	12
Índice i10	33	18

120

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 11 5 10 17 19 17 13 25 22 42 34 50 33 28 16 40 42 84 62 56 102 85 82 109 100 92 5

Acceso público

Ver todo

8 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

ludovic henrioCNRSDirección de correo verificada de ens-lyon.fr
Lawrence PaulsonUniversity of CambridgeDirección de correo verificada de cam.ac.uk
Rene Rydhof HansenAalborg UniversityDirección de correo verificada de cs.aau.dk
Marieta G. Ivanova(former) PhD student, Technical University of DenmarkDirección de correo verificada de dtu.dk
Manfred KerberUniversity of BirminghamDirección de correo verificada de cs.bham.ac.uk
Steffen HelkeProfessor für Sichere SoftwaresystemeDirección de correo verificada de tu-cottbus.de
Glenford MappAssociate Professor, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
Jason R.C. NurseReader in Cyber Security, University of KentDirección de correo verificada de kent.ac.uk
Sören PreibuschMeta ← Google ← Microsoft Research ← University of CambridgeDirección de correo verificada de fb.com
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonDirección de correo verificada de bbk.ac.uk
Graeme SmithThe University of QueenslandDirección de correo verificada de itee.uq.edu.au
Giuseppe PrimieroDepartment of Philosophy, University of MilanDirección de correo verificada de unimi.it
Gabriele KellerUtrecht UniversityDirección de correo verificada de uu.nl
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteDirección de correo verificada de gssi.it

Seguir

Florian Kammüller

Associate Professor, Middlesex University London and Privatdozent TU Berlin

Dirección de correo verificada de mdx.ac.uk - Página principal

Distributed Systems Formal Methods Security Automated Reasoning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Locales a sectioning concept for Isabelle F Kammüller, M Wenzel, LC Paulson Theorem Proving in Higher Order Logics: 12th International Conference …, 1999	165	1999
Transforming graphical system models to graphical attack models MG Ivanova, CW Probst, RR Hansen, F Kammüller Graphical Models for Security: Second International Workshop, GraMSec 2015 …, 2016	49	2016
Modeling and verification of insider threats using logical analysis F Kammüller, CW Probst IEEE systems journal 11 (2), 534-545, 2015	49	2015
A formal proof of sylow's theorem F Kammüller, LC Paulson Journal of Automated Reasoning 23, 235-264, 1999	48	1999
Encoding object-z in isabelle/hol G Smith, F Kammüller, T Santen ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002	44	2002
Invalidating policies using structural information F Kammüller, CW Probst 2013 IEEE Security and Privacy Workshops, 76-81, 2013	43	2013
Modular reasoning in Isabelle F Kammüller International Conference on Automated Deduction, 99-114, 2000	41	2000
Attack tree analysis for insider threats on the IoT using Isabelle F Kammüller, JRC Nurse, CW Probst Human Aspects of Information Security, Privacy, and Trust: 4th International …, 2016	40	2016
Formal modeling and analysis of data protection for gdpr compliance of iot healthcare systems F Kammueller 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2018	37	2018
Attack tree generation by policy invalidation MG Ivanova, CW Probst, RR Hansen, F Kammüller Information Security Theory and Practice: 9th IFIP WG 11.2 International …, 2015	36	2015
Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015	35	2015
Combining generated data models with formal invalidation for insider threat analysis F Kammüller, CW Probst 2014 IEEE Security and Privacy Workshops, 229-235, 2014	29	2014
Combining secure system design with risk assessment for iot healthcare systems F Kammüller 2019 IEEE International Conference on Pervasive Computing and Communications …, 2019	26	2019
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle F Kammüller, JC Augusto, S Jones 2017 IEEE 15th International Conference on Software Engineering Research …, 2017	23	2017
A probabilistic analysis framework for malicious insider threats T Chen, F Kammüller, I Nemli, CW Probst International Conference on Human Aspects of Information Security, Privacy …, 2015	23	2015
Human centric security and privacy for the iot using formal techniques F Kammüller Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2017 …, 2018	21	2018
Attack trees in Isabelle F Kammüller Information and Communications Security: 20th International Conference …, 2018	20	2018
Investigating airplane safety and security against insider threats using logical modeling F Kammüller, M Kerber 2016 IEEE Security and Privacy Workshops (SPW), 304-313, 2016	19	2016
Towards formal analysis of insider threats for auctions F Kammüller, M Kerber, CW Probst Proceedings of the 8th ACM CCS International Workshop on Managing Insider …, 2016	18	2016
Formal modelling and analysis of socio-technical systems CW Probst, F Kammüller, RR Hansen Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and …, 2016	18	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores