CampusTracer: A Privacy-Aware Contact Tracing Protocol for Campus Environments. - Ken Ahrens; Jonas Palm; Meiko Jensen (EuroS&P Workshops, 2022)