All Stories

  1. Performing Security Proofs of Stateful Protocols

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    A B

  2. A Formal Semantics of the Core DOM in Isabelle/HOL

    Article • January 2018, ACM (Association for Computing Machinery)

    A B

  3. Monadic Sequence Testing and Explicit Test-Refinements

    Article • January 2016, Springer Science + Business Media

    A B

  4. On theorem prover-based testing

    Article • Formal Aspects of Computing, March 2012, Springer Science + Business Media

    A B

  5. Information Flow in Disaster Management Systems

    Article • February 2010, Institute of Electrical & Electronics Engineers (IEEE)

    A B

  6. Delegation Assistance

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    A B

  7. Extending access control models with break-glass

    Article • January 2009, ACM (Association for Computing Machinery)

    A B