Async Contact Tracer (Backend) Project developed in 2021 for B.Sc. in Computer Science Thesis. University of Camerino.