Items where Author / Artist / Editor is "Kammueller, Florian"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 70.

Article

Kammueller, Florian (2019) Attack Trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security, 87 . ISSN 0167-4048 (Published online first) (doi:10.1016/j.cose.2019.101572)

Kammueller, Florian and Probst, Christian (2017) Modeling and verification of insider threats using logical analysis. IEEE Systems Journal, 11 (2) . pp. 534-545. ISSN 1932-8184 (doi:10.1109/JSYST.2015.2453215)

Kammueller, Florian, Kerber, Manfred and Probst, Christian (2017) Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 8 (1) . pp. 44-78. ISSN 2093-5374 (doi:10.22667/JOWUA.2017.03.31.044)

Helke, Steffen and Kammueller, Florian (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1) . pp. 571-583. ISSN 2158-107X (doi:10.14569/IJACSA.2016.070179)

Kammueller, Florian (2015) Confinement for active objects. International Journal of Advanced Computer Science and Applications, 6 (2) . pp. 246-261. ISSN 2158-107X (doi:10.14569/IJACSA.2015.060236)

Kammueller, Florian (2014) Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews . ISSN 2167-5163

Kammueller, Florian and Probst, Christian (2014) Invalidating policies using structural information. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 5 (2) . pp. 59-79. ISSN 2093-5374 (doi:10.22667/JOWUA.2014.06.31.059)

Henrio, Ludovic, Kammueller, Florian and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8) . pp. 823-847. ISSN 0167-6423 (doi:10.1016/j.scico.2010.12.008)

Kammueller, Florian (2012) 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. Mathematical Reviews (283123) . ISSN 21675163

Kammueller, Florian (2012) Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews (281788) .

Kammueller, Florian (2011) Mechanical analysis of finite idempotent relations. Fundamenta Informaticae, 107 (1) . pp. 43-65. ISSN 1875-8681

Kammueller, Florian (2011) Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science, 6514 . pp. 93-107. ISSN 0302-9743 (doi:10.1007/978-3-642-19348-4_8)

Helke, Steffen and Kammueller, Florian (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X

Henrio, Ludovic, Kammueller, Florian, Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X

Fleck, Andreas and Kammueller, Florian (2010) Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software, 3 (3-4) . pp. 461-473. ISSN 1942-2628

Henrio, Ludovic, Kammueller, Florian and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743 (doi:10.1007/978-3-642-17071-3_1)

Henrio, Ludovic and Kammueller, Florian (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661 (doi:10.1016/j.entcs.2009.10.026)

Kammueller, Florian and Kammueller, Reiner (2009) Security analysis of private data enquiries in Erlang. International Journal on Advances in Security, 2 (2&3) . pp. 242-255. ISSN 1942-2636

Henrio, Ludovic, Kammueller, Florian and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743 (doi:10.1007/978-3-642-04167-9_9)

Preibusch, Sören and Kammueller, Florian (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743 (doi:10.1007/978-3-540-79707-4)

Kammueller, Florian and Sudhof, Henry (2008) Composing safely: a type system for aspects. Lecture Notes in Computer Science, 4954 . pp. 231-247. ISSN 0302-9743 (doi:10.1007/978-3-540-78789-1_18)

Kammueller, Florian (2008) Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing, 20 (3) . pp. 259-275. ISSN 0934-5043

Book Section

Probst, Christian, Kammueller, Florian and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International. .

Kammueller, Florian (2013) A semi-lattice model for multi-lateral security. In: Data privacy management and autonomous spontaneous security. Lecture Notes in Computer Science (7731) . Springer, Berlin, Germany, pp. 118-132. ISBN 9783642358890. (doi:10.1007/978-3-642-35890-6_9)

Kammueller, Florian (2012) A security model for functional active objects. In: Communicability, computer graphics and innovative design for interactive systems. Francisco, Cipolla-Ficarra, Kim, Veltman, Miguel, Cipolla-Ficarra and Andreas, Kratky, eds. Lecture Notes in Computer Science (7545) . Springer, Berlin, pp. 42-50. ISBN 9783642337598. (doi:10.1007/978-3-642-33760-4_4)

Fleck, Andreas and Kammueller, Florian (2011) A security model for functional active objects with an implementation in Erlang. In: Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion. Ficarra, Francisco V. C., Kratky, Andreas, Veltman, Kim H., Ficarra, Miguel C., Nicol, Emma and Brie, Mary, eds. Computational Science and Engineering Collection (I) . Blue Herons, Bergamo, Italy, pp. 105-120. ISBN 9788896471043.

Kammueller, Florian, Rein, Alexander and Reiser, Mark-Oliver (2010) Feature link propagation across variability representations with Isabelle/HOL. In: Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering. Rubin, Julia, Botterweck, Goetz, Mezini, Mira, Maman, Itay and Lero, Andreas, eds. ACM, New York, pp. 48-53. ISBN 9781605589688.

Fleck, Andreas and Kammueller, Florian (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266. (doi:10.1109/ICIMP.2010.27)

Kammueller, Florian and Kammueller, Reiner (2009) Enhancing privacy implementations of database enquiries. In: Internet Monitoring and Protection, 2009. ICIMP '09. Fourth International Conference. IEEE, pp. 45-50. ISBN 9781424438396. (doi:10.1109/ICIMP.2009.15)

Kammueller, Florian and Sudhof, Henry (2008) Compositionality of aspect weaving. In: Autonomous systems: self-organisation, management, and control. Mahr, Bernd and Sheng, Huanye, eds. Springer-Verlag, pp. 87-96. ISBN 9781402088889.

Conference or Workshop Item

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Kammueller, Florian (2020) Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. Advances in Information and Communication Networks: Proceedings of the 2019 Future of Information and Communication Conference (FICC), Volume 2. In: FICC 2019: Future of Information and Communications Conference, 14-15 Mar 2019, San Francisco, USA. ISBN 9783030123840. ISSN 2367-3370 (doi:10.1007/978-3-030-12385-7_22)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian, Poly, Guillaume and Nagarajan, Rajagopal (2019) Describing and simulating concurrent quantum systems. Advanced Research in Computing and Software Science (ARCoSS) - Subseries of Springer's Lecture Notes in Computer Science (LNCS). In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. . (Accepted/In press)

Karthick, Gayathri, Mapp, Glenford E., Kammueller, Florian and Aiash, Mahdi (2018) Formalization and analysis of a resource allocation security protocol for secure service migration. 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion), Zurich, 2018. In: IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018), 17-20 Dec 2018, Zurich, Switzerland. ISBN 9781728103594. (doi:10.1109/UCC-Companion.2018.00058)

Kammueller, Florian (2018) Attack trees in Isabelle. Information and Communications Security: 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings. In: 20th International Conference on Information and Communications Security, ICICS 2018, 29-31 Oct 2018, Lille, France. ISBN 9783030019495. ISSN 0302-9743 (doi:10.1007/978-3-030-01950-1_36)

Kammueller, Florian (2018) Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems. 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). In: IEEE SMC 2018: IEEE International Conference on Systems, Man and Cybernetics, 08-10 Oct 2018, Miyazaki, Japan. .

Kammueller, Florian (2018) Human centric security and privacy for the IoT using formal techniques. Advances in Human Factors in Cybersecurity. In: 3rd International Conference on Human Factors in Cybersecurity, 17-21 Jul 2017, Los Angeles, CA, United States. ISBN 9783319605845. ISSN 2194-5357 (doi:10.1007/978-3-319-60585-2_12)

Kammueller, Florian (2017) A proof calculus for attack trees in Isabelle. Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings. In: 12th International Workshop on Data Privacy Management (DPM 2017), 14-15 Sept 2017, Oslo, Norway. ISBN 9783319678153. ISSN 0302-9743 (doi:10.1007/978-3-319-67816-0_1)

Kammueller, Florian (2017) Formal modeling and analysis with humans in infrastructures for IoT health care systems. Human Aspects of Information Security, Privacy and Trust: 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. In: 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017, 09-14 Jul 2017, Vancouver, BC, Canada. ISBN 9783319584591. ISSN 0302-9743 (doi:10.1007/978-3-319-58460-7_24)

Kammueller, Florian, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 and Jones, Simon (2017) Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. 2017 IEEE 15th International Conference on Software Engineering Research, Management and Application (SERA). In: IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017, 07-09 Jun 2017, University of Greenwich, London, United Kingdom. ISBN 9781509057566. (doi:10.1109/SERA.2017.7965758)

Karthick, Gayathri, Mapp, Glenford E., Kammueller, Florian and Aiash, Mahdi (2017) Exploring a security protocol for secure service migration in commercial cloud environments. Exploring a Security Protocol for Secure Service Migration in Commercial Cloud Environments. In: ICC’17, 22 Mar 2019, Cambridge University, Cambridge. . (doi:10.1145/3018896.3056795)

Karthick, Gayathri, Mapp, Glenford E., Kammueller, Florian and Aiash, Mahdi (2017) Exploring a security protocol for secure service migration in commercial cloud environments. Proceedings of International Conference on Internet of Things, Data and Cloud Computing, Cambridge, United Kingdom, March 2017 (ICC’17). 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. ISBN 9781450347747. (Published online first) (doi:10.1145/3018896.3056795)

Kammueller, Florian, Kerber, Manfred and Probst, Christian (2016) Towards formal analysis of insider threats for auctions. Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats (MIST '16). In: ACM-CCS Workshop on Management of Security of Insider Threats, 28 Oct 2016, Vienna, Austria. ISBN 9781450345712. (doi:10.1145/2995959.2995963)

Chen, Taolue, Han, Tingting, Kammueller, Florian, Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security). In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom. ISBN 978-1-5090-0709-7. (doi:10.1109/CyberSecPODS.2016.7502350)

Kammueller, Florian (2016) Isabelle Modelchecking for insider threats. Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. In: 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016, 26-27 Sept 2016, Heraklion, Crete, Greece. ISBN 9783319470719. ISSN 0302-9743 (doi:10.1007/978-3-319-47072-6_13)

Kammueller, Florian (2016) Refactoring preserves security. Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. In: 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016, 26-27 Sept 2016, Heraklion, Crete, Greece. ISBN 9783319470719. ISSN 0302-9743 (doi:10.1007/978-3-319-47072-6_17)

Kammueller, Florian, Nurse, Jason R. C. and Probst, Christian (2016) Attack tree analysis for insider threats on the IoT using Isabelle. Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. In: 4th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2016, 17-24 Jul 2016, Toronto, ON, Canada. ISBN 9783319393803. ISSN 0302-9743 (doi:10.1007/978-3-319-39381-0_21)

Kammueller, Florian and Kerber, Manfred (2016) Investigating airplane safety and security against insider threats using logical modeling. 2016 IEEE Security and Privacy Workshops (SPW). In: 2016 IEEE Security and Privacy Workshops SPW'16: Workshop on Research in Insider Threats WRIT'16, 22-26 May 2016, San Jose, CA, USA. ISBN 9781509008247. ISSN 2375-1207 (doi:10.1109/SPW.2016.47)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian (2016) Transforming graphical system models to graphical attack models. Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. In: 2nd International Workshop on Graphical Models for Security, GraMSec 2015, co-located with CSF2015, 13 Jul 2015, Verona, Italy. ISBN 9783319299679. ISSN 0302-9743 (doi:10.1007/978-3-319-29968-6_6)

Helke, Steffen, Kammueller, Florian and Probst, Christian (2016) Secure refactoring with Java information flow. Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers. In: 10th International Workshop on Data Privacy Management (DPM 2015), 21- 22 Sept 2015, Vienna, Austria. ISBN 9783319298832. ISSN 0302-9743 (doi:10.1007/978-3-319-29883-2_19)

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2015) Formalization of quantum protocols using Coq. EPTCS 195: Proceedings 12th International Workshop on Quantum Physics and Logic. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom. . ISSN 2075-2180

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian (2015) Attack tree generation by policy invalidation. Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP 2015), 24-25 Aug 2015, Heraklion, Crete, Greece. ISBN 9783319240176. ISSN 0302-9743 (doi:10.1007/978-3-319-24018-3_16)

Chen, Taolue, Kammueller, Florian, Nemli, Ibrahim and Probst, Christian (2015) A probabilistic analysis framework for malicious insider threats. Human Aspects of Information Security, Privacy, and Trust: Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings. In: 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015, 2-7 Aug 2015, Los Angeles, California, USA. ISBN 9783319203751. ISSN 0302-9743

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria. ISBN 9781479979011. (doi:10.1109/STAST.2014.13)

Boender, Jaap, Kammueller, Florian, Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust, 18 July 2014, Vienna Technical University, Vienna, Austria. .

Kammueller, Florian (2014) Verification of DNSsec delegation signatures. Telecommunications (ICT), 2014 21st International Conference on. In: 21st International IEEE Conference on Telecommunication, 04-07 May 2014, Lisbon. ISBN 9781479951390. (doi:10.1109/ICT.2014.6845127)

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain. .

Kammueller, Florian and Probst, Christian (2014) Combining generated data models with formal invalidation for insider threat analysis. 2014 IEEE Security and Privacy Workshops (SPW). In: 2014 IEEE Security and Privacy Workshops (SPW): Workshop on Research for Insider Threat (WRIT 2014), 17-18 May 2014, San Jose, California, USA. ISBN 9781479951031. (doi:10.1109/SPW.2014.45)

Kammueller, Florian, Kirsal, Yoney and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2013) DNSsec in Isabelle – replay attack and origin authentication. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC, 2013.. .

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, R. R. and Kammueller, Florian (2013) Externalizing behaviour for analysing system models. In: 5th International Workshop on Managing Insider Security Threats, MIST, 2013.. .

Kammueller, Florian and Probst, Christian (2013) Invalidating policies using structural information. In: IEEE CS Security and Privacy Workshops, SPW, WRIT'13. .

Alghothami, Alwaleed and Kammueller, Florian (2013) Network information flow control: proof of concept. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC. .

Kammueller, Florian and Preibusch, Sören (2013) Privacy analysis of a hidden friendship protocol. Data Privacy Management and Autonomous Spontaneous Security: 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK. ISBN 9783642545672. ISSN 0302-9743

Kammueller, Florian, Probst, Christian and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy. .

Kammueller, Florian, Mapp, Glenford E., Patel, Sandip and Sani, Abubaker Sadiq (2012) Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. In: International Conference on Internet Monitoring and Protection (ICIMP 2012), 27 May - 01 Jun 2012, Stuttgart, Germany. .

Kammueller, Florian and Patel, Sandip (2011) Radius-SHA256 – verified remote authentication with secure hashing. In: First Global Conference on Communication, Science and Information Engineering, CCSIE’11, 25 - 27 July 2011, Middlesex University. .

Kammueller, Florian (2010) Using functional active objects to enforce privacy. In: 5th Conference on Network Architectures and Information Systems Security, 18-21 May, 2010, Menton, France. .

Henrio, Ludovic, Kammueller, Florian, Lutz, Bianca and Sudhof, Henry (2010) A locally nameless theory of objects. In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France. .

Kammueller, Florian and Preibusch, Sören (2008) Modelchecking non-functional requirements for interface specifications. In: European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies), 29th March - 6th April, 2008, Budapest. .

Book

Cipolla Ficarra, F. V., Veltman, K., Verber, D., Cipolla-Ficarra, M. and Kammueller, Florian, eds. (2012) Advances in new technologies, interactive interfaces and communicability. Lecture Notes in Computer Science, 7547 . Springer-Verlag. ISBN 9783642340109.

Kammueller, Florian (2008) Interactive theorem proving in software engineering. VDM Verlag Dr. Mueller, Saarbrücken, Germany. ISBN 9783836457699.

This list was generated on Sun Apr 5 05:19:26 2020 BST.