GraafidBuldas, Ahto; Laud, Peeter; Villemson, Jan2003 https://www.ester.ee/record=b1804744*est

GraafidBuldas, Ahto; Laud, Peeter; Villemson, Jan2008 https://www.ester.ee/record=b2345899*est

Simple infeasibility certificates for attack treesBuldas, Ahto; Lenin, Aleksandr; Villemson, Jan; Charnamord, AntonAdvances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings2017 / p. 39-55 : ill https://doi.org/10.1007/978-3-319-64200-0_3

Universally composable time-stamping schemes with auditBuldas, Ahto; Laud, Peeter; Saarepera, Märt; Villemson, JanLecture notes in computer science2005 / p. 359-373