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: 75.

Article

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Legay, Axel and Schivo, Stefano (2020) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 [Article] (Accepted/In press)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X [Article] (Accepted/In press)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2019) Attack Trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security, 87 . ISSN 0167-4048 [Article] (Published online first) (doi:10.1016/j.cose.2019.101572)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Probst, Christian (2017) Modeling and verification of insider threats using logical analysis. IEEE Systems Journal, 11 (2) . pp. 534-545. ISSN 1932-8184 [Article] (doi:10.1109/JSYST.2015.2453215)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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 [Article] (doi:10.22667/JOWUA.2017.03.31.044)

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1) . pp. 571-583. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2016.070179)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2015) Confinement for active objects. International Journal of Advanced Computer Science and Applications, 6 (2) . pp. 246-261. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2015.060236)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Article]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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 [Article] (doi:10.22667/JOWUA.2014.06.31.059)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8) . pp. 823-847. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2010.12.008)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Article]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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) . [Article]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) Mechanical analysis of finite idempotent relations. Fundamenta Informaticae, 107 (1) . pp. 43-65. ISSN 1875-8681 [Article]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science, 6514 . pp. 93-107. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-19348-4_8)

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X [Article]

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X [Article]

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software, 3 (3-4) . pp. 461-473. ISSN 1942-2628 [Article]

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-17071-3_1)

Henrio, Ludovic and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2009.10.026)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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 [Article]

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-04167-9_9)

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

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry (2008) Composing safely: a type system for aspects. Lecture Notes in Computer Science, 4954 . pp. 231-247. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-78789-1_18)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing, 20 (3) . pp. 259-275. ISSN 0934-5043 [Article]

Book Section

Probst, Christian, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International. . [Book Section]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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. [Book Section] (doi:10.1007/978-3-642-35890-6_9)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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. [Book Section] (doi:10.1007/978-3-642-33760-4_4)

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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. [Book Section]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. [Book Section]

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266. [Book Section] (doi:10.1109/ICIMP.2010.27)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. [Book Section] (doi:10.1109/ICIMP.2009.15)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. [Book Section]

Conference or Workshop Item

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca (2020) Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework. LNCS Proceedings. In: International Workshop of Data Privacy Management, DPM'20, 17-18 Sep 2020, University of Surrey, UK. . ISSN 0302-9743 [Conference or Workshop Item] (Accepted/In press)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2020) Describing and simulating concurrent quantum systems. Biere, Armin and Parker, David, eds. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 9783030452360, e-ISBN 9783030452377. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-45237-7_16)

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-030-12385-7_22)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nestmann, Uwe (2020) Inter-blockchain protocols with the Isabelle Infrastructure framework. Bernardo, Bruno and Marmsoler, Diego, eds. 2nd Workshop on Formal Methods for Blockchain. In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA. . [Conference or Workshop Item] (Published online first) (doi:10.4230/LIPIcs.FMBC.2020.23)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2019) Combining secure system design with risk assessment for IoT healthcare systems. Proceedings 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). In: SPT-IoT'19 - The Third Workshop on Security, Privacy and Trust in the Internet of Things, colocated with IEEE PerCom 2019, 11-15 Mar 2019, Kyoto, Japan. e-ISBN 9781538691519. [Conference or Workshop Item] (doi:10.1109/PERCOMW.2019.8730776)

Karthick, Gayathri, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (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. [Conference or Workshop Item] (doi:10.1109/UCC-Companion.2018.00058)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-030-01950-1_36)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-60585-2_12)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-67816-0_1)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-58460-7_24)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 and Jones, Simon ORCID: https://orcid.org/0000-0002-6405-5698 (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. [Conference or Workshop Item] (doi:10.1109/SERA.2017.7965758)

Karthick, Gayathri, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (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. . [Conference or Workshop Item] (doi:10.1145/3018896.3056795)

Karthick, Gayathri, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244 (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. [Conference or Workshop Item] (Published online first) (doi:10.1145/3018896.3056795)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. [Conference or Workshop Item] (doi:10.1145/2995959.2995963)

Chen, Taolue, Han, Tingting, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. [Conference or Workshop Item] (doi:10.1109/CyberSecPODS.2016.7502350)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-47072-6_13)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-47072-6_17)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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 [Conference or Workshop Item] (doi:10.1007/978-3-319-39381-0_21)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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 [Conference or Workshop Item] (doi:10.1109/SPW.2016.47)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-29968-6_6)

Helke, Steffen, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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 [Conference or Workshop Item] (doi:10.1007/978-3-319-29883-2_19)

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (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 [Conference or Workshop Item]

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-24018-3_16)

Chen, Taolue, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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 [Conference or Workshop Item]

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. [Conference or Workshop Item] (doi:10.1109/STAST.2014.13)

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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. [Conference or Workshop Item] (doi:10.1109/ICT.2014.6845127)

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. [Conference or Workshop Item] (doi:10.1109/SPW.2014.45)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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.. . [Conference or Workshop Item]

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, R. R. and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2013) Externalizing behaviour for analysing system models. In: 5th International Workshop on Managing Insider Security Threats, MIST, 2013.. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Probst, Christian (2013) Invalidating policies using structural information. In: IEEE CS Security and Privacy Workshops, SPW, WRIT'13. . [Conference or Workshop Item]

Alghothami, Alwaleed and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2013) Network information flow control: proof of concept. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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 [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, 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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Using functional active objects to enforce privacy. In: 5th Conference on Network Architectures and Information Systems Security, 18-21 May, 2010, Menton, France. . [Conference or Workshop Item]

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, 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. . [Conference or Workshop Item]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 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. . [Conference or Workshop Item]

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. [Book]

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Interactive theorem proving in software engineering. VDM Verlag Dr. Mueller, Saarbrücken, Germany. ISBN 9783836457699. [Book]

This list was generated on Mon Oct 26 05:27:23 2020 GMT.