BibTeX record conf/esorics/DraganDGHRS23

• > Home > conf/esorics/DraganDGHRS23

@inproceedings{DBLP:conf/esorics/DraganDGHRS23,
  author       = {Constantin Catalin Dragan and
                  Fran{\c{c}}ois Dupressoir and
                  Kristian Gj{\o}steen and
                  Thomas Haines and
                  Peter B. R{\o}nne and
                  Morten Rotvold Solberg},
  editor       = {Gene Tsudik and
                  Mauro Conti and
                  Kaitai Liang and
                  Georgios Smaragdakis},
  title        = {Machine-Checked Proofs of Accountability: How to sElect Who is to
                  Blame},
  booktitle    = {Computer Security - {ESORICS} 2023 - 28th European Symposium on Research
                  in Computer Security, The Hague, The Netherlands, September 25-29,
                  2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14346},
  pages        = {471--491},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-51479-1\_24},
  doi          = {10.1007/978-3-031-51479-1\_24},
  timestamp    = {Thu, 18 Jan 2024 08:27:16 +0100},
  biburl       = {https://dblp.org/rec/conf/esorics/DraganDGHRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}