Automated Security Analysis of Exposure Notification Systems (Artifact)

Morio, Kevin, Esiyok, Ilkan, Jackson, Dennis, Künnemann, Robert

Open source

DOI
10.6084/m9.figshare.21304305.v1
Published
2022
Container
Not recorded
Publisher
figshare
Open access
yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.6084/m9.figshare.21304305.v1,
  title = {Automated Security Analysis of Exposure Notification Systems (Artifact)},
  author = {Morio, Kevin and Esiyok, Ilkan and Jackson, Dennis and Künnemann, Robert},
  year = {2022},
  doi = {10.6084/m9.figshare.21304305.v1},
  url = {https://doi.org/10.6084/m9.figshare.21304305.v1}
}

RIS

TY  - JOUR
TI  - Automated Security Analysis of Exposure Notification Systems (Artifact)
AU  - Morio, Kevin
AU  - Esiyok, Ilkan
AU  - Jackson, Dennis
AU  - Künnemann, Robert
PY  - 2022
DO  - 10.6084/m9.figshare.21304305.v1
UR  - https://doi.org/10.6084/m9.figshare.21304305.v1
ER  - 

APA

Kevin, M., Ilkan, E., Dennis, J., & Robert, K. (2022). Automated Security Analysis of Exposure Notification Systems (Artifact). https://doi.org/10.6084/m9.figshare.21304305.v1

Source records