Login / Signup

Automated Security Analysis of Exposure Notification Systems.

Kevin MorioIlkan EsiyokDennis JacksonRobert Künnemann
Published in: CoRR (2022)
Keyphrases
  • security analysis
  • high security
  • distributed systems
  • security requirements
  • authentication scheme
  • knn