• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028456863&origin=inward&txGid=26ff8d3cf1c1d7b434005f2530c84db0 https://www.webofscience.com/wos/woscc/full-record/WOS:000455355700003
• Universally composable time-stamping schemes with auditBuldas, Ahto; Laud, Peeter; Saarepera, Märt; Villemson, JanLecture notes in computer science2005 / p. 359-373 https://link.springer.com/chapter/10.1007/11556992_26