Contact tracing in post-covid world : A Cryptologic Approach (2020)