Secure and Efficient Trajectory-Based Contact Tracing using Trusted Hardware - View it on GitHub