Mathisen, A., & L. Rivest, R. Crypto-Time-Capsule [Computer software]