Denis Firsov, Dominique Unruh
In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022). Association for Computing Machinery, New York, NY, USA, 166–179.
Authors' version available HERE.Denis Firsov, Dominique Unruh
In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022). Association for Computing Machinery, New York, NY, USA, 166–179.
Authors' version available HERE.Ahto Buldas, Margus Niitsoo
In: Ron Steinfeld, Philip Hawkes. Information Security and Privacy - 15th Australasian Conference, ACISP 2010, Proceedings. LNCS 6168, pp. 318-335. Springer, 2010.
Ahto Buldas, Märt Saarepera
In: Pil Joong Lee. Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. LNCS 3329, pp. 500-514. Springer, 2004.
Denis Firsov, Henri Lakk, Sven Laur, Ahto Truu
In Proceedings of the 18th International Conference on Security and Cryptography (SECRYPT), pp. 75–86, SciTePress, 2021
Pre-print version available HERE.
Ahto Buldas, Märt Saarepera, Jamie Steiner, Dirk Draheim
In: TechRxiv (2021)
PDF version available HERE.
Nikos Fotiou, Iakovos Pittaras, Vasilios A. Siris, George C. Polyzos, Priit Anton
In Blockchain: Research and Applications, Vol. 2, No. 1, April 2021
M. Popp, V. Rogojin, M.C.Boysan, and M. Wallum.
In 8th European Conference on Space Debris, 20-23.04.2021, vol 8/1, ESA Space Debris Office, 2021.
Guardtime Whitepaper by Risto Alas and Hema Krishnamurthy, 2020