2001

Arne Ansper, Ahto Buldas, Märt Saarepera, Jan Willemson. "Improving the availability of time-stamping services", ACISP 2001, 11.-13. July 2001, Sydney, Australia.
Peeter Laud. " Semantics and Program Analysis of Computationally Secure Information Flow ". In "Programming Languages and Systems, 10th European Symposium On Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genoa, Italy, April 2-6, 2001 Proceedings" (LNCS 2028), pages 77-91, 2001.
Peeter Laud. " Analysis for Object Inlining in Java ". In JOSES: Java Optimization Strategies for Embedded Systems, Genoa, Italy, April 1, 2001.
Arne Ansper, Ahto Buldas, Meelis Roos, Jan Willemson. "Efficient long-term validation of digital signatures ". Advances in Cryptology - PKC 2001, Springer-Verlag, LNCS 1992, pp 402-415, presented on PKC 2001, February 2001, Cheju Island, Korea