cispa_all_2896.pdf (457.84 kB)

Automated Verification of Accountability in Security Protocols

Download (457.84 kB)
conference contribution
posted on 2023-11-29, 18:10 authored by Robert KünnemannRobert Künnemann, Ilkan Esiyok, Michael BackesMichael Backes
Accountability is a recent paradigm in security protocol design which aims to eliminate traditional trust assumptions on parties and hold them accountable for their misbehavior. It is meant to establish trust in the first place and to recognize and react if this trust is violated. In this work, we discuss a protocol-agnostic definition of accountability: a protocol provides accountability (w.r.t. some security property) if it can identify all misbehaving parties, where misbehavior is defined as a deviation from the protocol that causes a security violation. We provide a mechanized method for the verification of accountability and demonstrate its use for verification and attack finding on various examples from the accountability and causality literature, including Certificate Transparency and Kroll’s Accountable Algorithms protocol. We reach a high degree of automation by expressing accountability in terms of a set of trace properties and show their soundness and completeness.


Preferred Citation

Robert Künnemann, Ilkan Esiyok and Michael Backes. Automated Verification of Accountability in Security Protocols. In: IEEE Computer Security Foundations Symposium (CSF). 2019.

Primary Research Area

  • Reliable Security Guarantees

Secondary Research Area

  • Algorithmic Foundations and Cryptography

Name of Conference

IEEE Computer Security Foundations Symposium (CSF)

Legacy Posted Date


Open Access Type

  • Unknown


@inproceedings{cispa_all_2896, title = "Automated Verification of Accountability in Security Protocols", author = "Künnemann, Robert and Esiyok, Ilkan and Backes, Michael", booktitle="{IEEE Computer Security Foundations Symposium (CSF)}", year="2019", }

Usage metrics


    No categories selected


    Ref. manager