@ARTICLE{tedeschi2022_tdsc,
  author={Tedeschi, Pietro and Bakiras, Spiridon and Pietro, Roberto Di},
  journal={{IEEE Transactions on Dependable and Secure Computing}}, 
  title={{SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol}}, 
  year={2022},
  volume={},
  number={},
  pages={1-17},
  doi={10.1109/TDSC.2022.3186153}
  }