Search Results - Kammuller, Florian

Refine Results
  1. 1
    Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework

    Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework by Kammüller, Florian, Satija, Dimpy

    Published in Information (Basel)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Masterminding change by combining secure system design with security risk assessment

    Masterminding change by combining secure system design with security risk assessment by Kammüller, Florian, Legay, Axel, Schivo, Stefano

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Modeling and Verification of Insider Threats Using Logical Analysis

    Modeling and Verification of Insider Threats Using Logical Analysis by Kammuller, Florian, Probst, Christian W.

    Published in IEEE systems journal
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Formalization of Quantum Protocols using Coq

    Formalization of Quantum Protocols using Coq by Boender, Jaap, Kammüller, Florian, Nagarajan, Rajagopal

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Attack trees in Isabelle extended with probabilities for quantum cryptography

    Attack trees in Isabelle extended with probabilities for quantum cryptography by Kammüller, Florian

    Published in Computers & security
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Confinement for Active Objects

    Confinement for Active Objects by Kammuller, Florian

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Verification of Statecharts Using Data Abstraction

    Verification of Statecharts Using Data Abstraction by Helke, Steffen, Kammuller, Florian

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Applying the Isabelle Insider framework to airplane security

    Applying the Isabelle Insider framework to airplane security by Kammüller, Florian, Kerber, Manfred

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Network Information Flow Control: Proof of Concept

    Network Information Flow Control: Proof of Concept by Alghothami, Alwaleed, Kammuller, Florian

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    DNSsec in Isabelle - Replay Attack and Origin Authentication

    DNSsec in Isabelle - Replay Attack and Origin Authentication by Kammuller, Florian, Kirsal-Ever, Yoney, Xiaochun Cheng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Invalidating Policies using Structural Information

    Invalidating Policies using Structural Information by Kammuller, Florian, Probst, Christian W.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Security Engineering in IIIf, Part II -- Refinement and Noninterference

    Security Engineering in IIIf, Part II -- Refinement and Noninterference by Kammüller, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    ASPfun : A typed functional active object calculus

    ASPfun : A typed functional active object calculus by Henrio, Ludovic, Kammüller, Florian, Lutz, Bianca

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Mechanical Analysis of Finite Idempotent Relations

    Mechanical Analysis of Finite Idempotent Relations by Kammller, Florian

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Formalizing non-interference for a simple bytecode language in Coq

    Formalizing non-interference for a simple bytecode language in Coq by Kammüller, Florian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Enhancing Privacy Implementations of Database Enquiries

    Enhancing Privacy Implementations of Database Enquiries by Kammuller, Florian, Kammuller, Reiner

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework

    Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework by Kammüller, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Dependability Engineering in Isabelle

    Dependability Engineering in Isabelle by Kammüller, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Modeling Human Behaviour with Higher Order Logic: Insider Threats

    Modeling Human Behaviour with Higher Order Logic: Insider Threats by Boender, Jaap, Ivanova, Marieta Georgieva, Kammuller, Florian, Primiero, Giuseppe

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework

    Explanation of Student Attendance AI Prediction with the Isabelle Infrastructure Framework by Kammüller, Florian, Satija, Dimpy

    Published in Information (Basel)
    Get full text
    Report
    Save to List
    Saved in:

Search Tools: