A PC-based CAD system for training digital testUbar, Raimund-Johannes; Buldas, Ahto; Paomets, Priidu; Raik, Jaan; Tulit, ViljarThe Fifth EUROCHIP Workshop on VLSI Design Training, 17-18-19 October 1994, Dresden, Germany1994 / p. 152-157: ill

A semi-formal method for security estimationBuldas, Ahto; Priisalu, JaanDatabases and information systems : proceedings of the Second International Baltic Workshop : Tallinn, June 12-14, 1996. Volume 1, Research track1996 / p. 206-212

A VLSI implementation of RSA and IDEA encryption engineBuldas, Ahto; Põldre, JüriProceedings [of the] 15th NORCHIP Conference, Tallinn, 10-11 November 19971997 / p. 281-288: ill

Ajatembeldusel on maailmas tulevikku : [küsimustele vastab noore teadlase preemia pälvinud Ahto Buldas]Sootak, Varje; Buldas, AhtoUniversitas Tartuensis2002 / 20. dets., lk. 5 : fot

Ajatemplid digitaaldokumentidelBuldas, Ahto; Lipmaa, HelgerArvutimaailm1998 / 2, lk. 45-47: ill

Ajatemplisüsteemid : avalik loeng 30. mail 2001 TTÜsBuldas, AhtoTallinna Tehnikaülikooli aastaraamat 20012003 / lk. 308-312

Algoritmid ja diagonaalsed tõestusedBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 1, lk. 5-10

Allkirjad elektroonilistel dokumentidel : vääramatu tõenduse algoritmidestBuldas, AhtoA & A2000 / 6, lk. 36-40

An algebraic approach to the structure of graphsBuldas, Ahto1999 http://www.ester.ee/record=b1273064*est

Are the current system engineering practices sufficient to meet cyber crime?Buldas, Ahto; Saarepera, MärtHuman Aspects of Information Security, Privacy and Trust : 5th International Conference, HAS 2017 : held as part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017 : proceedings2017 / p. 451-463 https://doi.org/10.1007/978-3-319-58460-7_31 Conference proceedings at Scopus Article at Scopus Article at WOS

Attribute evaluation on attack trees with incomplete informationBuldas, Ahto; Gadyatskaya, Olga; Lenin, Aleksandr; Mauw, Sjouke; Trujillo-Rasua, RolandComputers & Security2020 / art. 101630, 17 p. : ill https://doi.org/10.1016/j.cose.2019.101630 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Attribute evaluation on attack trees with incomplete information : a preprintBuldas, Ahto; Gadyatskaya, Olga; Lenin, Aleksandr; Mauw, Sjouke; Trujillo-Rasua, RolandarXiv.org2019 / 21 p. : ill http://arxiv.org/abs/1812.10754

Black-box separations and their adaptability to the non-uniform modelBuldas, Ahto; Niitsoo, MargusInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 152-167 https://doi.org/10.1007/978-3-642-39059-3_11 Conference Proceedings at Scopus Article at Scopus

Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 KeynoteBuldas, Ahto; Draheim, Dirk; Nagumo, Takehiko; Vedešin, AntonFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings2020 / p. 3-27 https://doi.org/10.1007/978-3-030-63924-2_1 Conference Proceedings at Scopus Article at Scopus

A blockchain-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 138–153 : ill https://doi.org/10.1007/978-3-030-03638-6_9 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Bounded pre-image awareness and the security of hash-tree keyless signaturesBuldas, Ahto; Laanoja, Risto; Laud, Peeter; Truu, AhtoProvable security : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014 : proceedings2014 / p. 130-145 : ill https://doi.org/10.1007/978-3-319-12475-9_10 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Comparability graphs and the structure of finite graphsBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1996 / 2/3, p. 117-127

Congruence lattice of a graphBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1997 / 3, p. 155-170: ill

Does secure time-staming imply collision-free hash functionsBuldas, Ahto; Jürgenson, AivoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 59-63 : ill

Does secure time-stamping imply collision-free hash functions?Buldas, Ahto; Jürgenson, AivoLecture notes in computer science2007 / p. 138-150

Eesti Vabariigi 2018. aasta teaduspreemia laureaadid TTÜstVähi, Kersti; Buldas, Ahto; Kotta, Ülle; Kurnitski, Jarek; Raudla, RingaMente et Manu2018 / lk. 26-27 : portr https://www.ttu.ee/ttu-uudised/ajaleht-mente-et-manu/mente-et-manu/ http://www.ester.ee/record=b1242496*est https://artiklid.elnet.ee/record=b2836028*est

Eestis arendatud plokiahel soovib saada maailmaturu liidriksRumm, HannesEesti Ekspress2023 / lk. 30-33 https://dea.digar.ee/article/eestiekspress/2023/05/10/13.6

Efficiency bounds for adversary constructions in black-box reductionsBuldas, Ahto; Jürgenson, Aivo; Niitsoo, MargusInformation Security and Privacy : 14th Australasian Conference : ACISP 2009 : Brisbane, Australia, July 1-3, 2009 : proceedings2009 / p. 264-275 https://link.springer.com/chapter/10.1007/978-3-642-02620-1_19

Efficient long-term validation of digital signaturesAnsper, A.; Buldas, Ahto; Roos, Meelis; Willemson, JanPublic Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems : PKC 2001 : Cheju Island, Korea, February 13-15, 2001 : proceedings2001 / p. 13-15

Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikadJürgenson, Aivo2010 https://www.ester.ee/record=b2604924*est

Electronic signature system with small number of private keysBuldas, Ahto; Saarepera, Märt2nd Annual PKI Research Workshop Pre-Proceedings : Gaithersburg, Maryland, USA, April 28-29, 20032003 / p. 96-108 https://www.researchgate.net/publication/2869630_Electronic_Signature_System_with_Small_Number_of_Private_Keys

Elektrondokumendid tõendusmaterjalinaBuldas, AhtoArvutimaailm1997 / 8, lk. 23-25: ill

Eliminating counterevidence with applications to accountable certificate managementBuldas, Ahto; Laud, Peeter; Lipmaa, HelgerJournal of computer security2002 / 3, p. 273-296 https://content.iospress.com/articles/journal-of-computer-security/jcs161

Goodsteini teoreemistBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 4, lk. 2-6

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

Graafid ja järjestusedBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 2, lk. 2-8: ill

Graphs and lattice varietiesBuldas, AhtoProceedings of the Estonian Academy of Sciences. Physics. Mathematics1998 / 2, p. 100-109

Hash-based server-assisted digital signature solutions = Räsifunktsioonidel põhinevad serveri toega digitaalse signeerimise lahendusedTruu, Ahto2020 https://digikogu.taltech.ee/et/Item/a972cc4b-53ec-4c82-8de0-b3e941cce345

Improving the availability of time-stamping servicesAnsper, A.; Buldas, Ahto; Saarepera, Märt; Willemson, JanInformation Security and Privacy : 6th Australian Conference : ACISP 2001 : Sydney, Australia, July 11-13, 2001 : proceedings2001 / p. 360-375 https://link.springer.com/chapter/10.1007/3-540-47719-5_29

Infosüsteemide turveHanson, Vello; Buldas, Ahto1997 https://www.ester.ee/record=b1059903*est

Infosüsteemide turveHanson, Vello; Buldas, Ahto; Praust, Valdo1998 https://www.ester.ee/record=b1191671*est

Keyless signature infrastructure and PKI : hash-tree signatures in pre- and post-quantum worldBuldas, Ahto; Laanoja, Risto; Truu, AhtoInternational journal of services technology and management2017 / p. 117-130 : ill https://doi.org/10.1504/IJSTM.2017.10002708 Journal metrics at Scopus Article at Scopus

Keyless signatures' infrastructure: How to build global distributed hash-treesBuldas, Ahto; Kroonmaa, Andres; Laanoja, RistoSecure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings2013 / p. 313 - 320 https://doi.org/10.1007/978-3-642-41488-6_21 Conference Proceedings at Scopus Article at Scopus

Knowledge-binding commitments with applications in time-stampingBuldas, Ahto; Laur, SvenLecture notes in computer science2007 / p. 150-165 https://eprint.iacr.org/2007/071

Krüptoloogia. Miks ja kuidas?Buldas, AhtoArvutimaailm1994 / 3, lk. 14-15

Laboratory course for training "Digital design and test"Ubar, Raimund-Johannes; Tulit, Viljar; Buldas, Ahto; Saarepera, MärtFourth EUROCHIP Workshop on VLSI Design Training, 29 September to 1 October 1993, Toledo : [proceedings]1993 / p. 112-117: ill

Limiting adversarial budget in quantitative security assessmentLenin, Aleksandr; Buldas, AhtoDecision and Game Theory for Security : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014 : proceedings2014 / p. 155-174 : ill https://doi.org/10.1007/978-3-319-12601-2_9 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Long term archiving of electronic signaturesBuldas, Ahto; Freudenthal, MargusBaltic ITAMPT review2004 / 1, p. 69-74 : ill

Long-term secure commitments via extractable-binding commitmentsBuldas, Ahto; Geihs, Matthias; Buchmann, JohannesInformation Security and Privacy : 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017 : Proceedings, Part I2017 / p. 65-81 https://doi.org/10.1007/978-3-319-60055-0_4 Conference proceedings at Scopus Article at Scopus Article at WOS

Long-term secure time-stamping using preimage-aware hash functions : (short version)Buldas, Ahto; Geihs, Matthias; Buchmann, JohannesProvable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23–25, 2017 : proceedings2017 / p. 251-260 : ill http://doi.org/10.1007/978-3-319-68637-0_15 Conference proceedings at Scopus Article at Scopus Article at WOS

Loogikaskeemid ja binaardiagrammidBuldas, AhtoAastaraamat 1994 - 1996 / Eesti Matemaatika Selts1999 / lk. 6-11

Mikroarvuti plastkaardisBuldas, Ahto; Lakspere, Enn; Priisalu, JaanArvutimaailm1994 / 4, lk. 52-55; 5, lk. 28-31; 6, lk. 42-43; 7, lk. 51-53 https://artiklid.elnet.ee/record=b2019361*est

Mis on p-aadilised arvud?Buldas, AhtoArvutustehnika ja Andmetöötlus1995 / 9, lk. 2-8

A New approach to constructing digital dignature schemesBuldas, Ahto; Frisov, Denis; Laanoja, Risto; Lakk, Henri; Truu, AhtoAdvances in Information and Computer Security : 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019 : proceedings2019 / p. 363-373 https://doi.org/10.1007/978-3-030-26834-3_21 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

New efficient utility upper bounds for the fully adaptive model of attack treesBuldas, Ahto; Lenin, AleksandrDecision and game theory for security : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013 : proceedings2013 / p. 192-205 : ill https://doi.org/10.1007/978-3-319-02786-9_12 Computer Proceedings metrics at Scopus Article at Scopus

New linking schemes for digital time-stampingBuldas, Ahto; Laud, PeeterProceedings of the CISC'98, Seoul, Korea1998 / p. 112-123 https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=d3a005fb546ff78abc6ee453af4ee91aa6267c50

On provably secure time-stamping schemesBuldas, Ahto; Saarepera, MärtAdvances in cryptology - ASIACRYPT 2004 : 10th International Conference on the Theory and Application of Cryptology and Information Security : Jeju Island, Korea, December 5-9, 2004 : proceedings2004 / p. 500-514 : ill https://link.springer.com/chapter/10.1007/978-3-540-30539-2_35

Oracle separation in the non-uniform modelBuldas, Ahto; Laur, Sven; Niitsoo, MargusProvable Security : Third International Conference : ProvSec 2009 : Guangzhou, China, November 11-13, 2009 : proceedings2009 / p. 230-244 https://link.springer.com/content/pdf/10.1007/978-3-642-04642-1_19.pdf

Practical security analysis of e-voting systemsBuldas, Ahto; Mägi, TriinuLecture notes in computer science2007 / p. 320-335

Preemia olulise sotsiaal-majandusliku mõjuga innovaatilise tooteni viinud teaduslikul avastusel põhineva teadus- ja arendustöö eest : Ahto Buldas. Minu teadus : usaldus, saladused, aeg ja plokiaheladBuldas, AhtoEesti Vabariigi preemiad 2018 : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2018 / lk. 64-75 : portr

Rational choice of security measures via multi-parameter attack treesBuldas, Ahto; Laud, Peeter; Priisalu, Jaan; Saarepera, Märt; Willemson, Jan1st International Workshop on Critical Information Infrastructures Security : Samos Island, Greece, August 30 - September 2, 20062006 / p. 232-243 https://link.springer.com/chapter/10.1007/11962977_19

Reliable and efficient determination of the likelihood of rational attacks = Ratsionaalsete rünnete tõepära efektiivne ja usaldusväärne kindlakstegemineLenin, Aleksandr2015 https://www.ester.ee/record=b4530005*est

Secure and efficient implementation of electronic moneyBuldas, Ahto; Draheim, Dirk; Saarepera, MärtFuture Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings2022 / p. 34-51 https://doi.org/10.1007/978-981-19-8069-5_3 Conference proceedings at Scopus Article at Scopus Article at WOS

Security proofs for hash tree time-stamping using hash functions with small output sizeBuldas, Ahto; Laanoja, RistoInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 235-250 : ill https://doi.org/10.1007/978-3-642-39059-3_16 Conference Proceedings at Scopus Article at Scopus

A server-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings2017 / p. 3-17 : ill https://doi.org/10.1007/978-3-319-70290-2_1 Conference proceedings at Scopus Article at Scopus Article at WOS

Server-supported RSA signatures for mobile devicesBuldas, Ahto; Kalu, Aivo; Laud, Peeter; Oruaas, MartComputer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11–15, 2017 : proceedings, part I2017 / p. 315-333 : ill https://doi.org/10.1007/978-3-319-66402-6_19 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Conference proceedings at Scopus Article at Scopus Article at WOS

Sissejuhatus matroidide teooriasseBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 3, lk. 2-5: ill

A systematic approach to offensive volunteer cyber militiaOttis, Rain2011 http://www.ester.ee/record=b2685353*est

Teadusest, ärist ja impeeriumi pärandusestBuldas, AhtoA & A2001 / 4, lk. 5-8 https://www.ester.ee/record=b1071898*est

A theory of secure and efficient implementation of electronic moneyBuldas, Ahto; Draheim, Dirk; Saarepera, MärtSN Computer Science2023 / art. 861, 25 p. : ill https://doi.org/10.1007/s42979-023-02232-y Journal metrics at Scopus Article at Scopus

Time-stamping with binary linking schemesBuldas, Ahto; Laud, Peeter; Lipmaa, Helger; Willemson, JanAdvances in Cryptology : CRYPTO'98 : 18th Annual International Cryptology Conference, Santa Barbara, California, USA August 23–27, 1998 : proceedings1998 / p. 486-501 : ill

Towards a foundation of Web3Buldas, Ahto; Draheim, Dirk; Gault, Mike; Saarepera, MärtFuture Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings2022 / p. 3-18 https://doi.org/10.1007/978-981-19-8069-5_1 Conference proceedings at Scopus Article at Scopus Article at WOS

TURBO TESTER : a set of software tools for CAD of test for digital circuitsUbar, Raimund-Johannes; Tulit, Viljar; Buldas, Ahto; Saarepera, MärtFourth EUROCHIP Workshop on VLSI Design Training, 29 September to 1 October 1993, [Toledo]1993 / p. 396

An ultra-scalable blockchain platform for universal asset tokenization : design and implementationBuldas, Ahto; Draheim, Dirk; Gault, Mike; Laanoja, Risto; Nagumo, Takehiko; Saarepera, Märt; Shah, Syed Attique; Simm, Joosep; Steiner, Jamie; Tammet, Tanel; Truu, AhtoIEEE Access2022 / p. 77284-77322 : ill https://doi.org/10.1109/ACCESS.2022.3192837 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Undeniable replies for database queriesBuldas, Ahto; Roos, Meelis; Willemson, JanDatabases and information systems : proceedings of the Fifth International Baltic Conference : Baltic DB & IS 2002 : Tallinn, June 3-6, 2002. Vol. 22002 / p. 215-226 : ill

Undeniable replies for database queriesBuldas, Ahto; Roos, Meelis; Willemson, JanDatabases and information systems. II, Fifth International Baltic Conference : Baltic DB & IS'2002 : Tallinn, Estonia, June 3-6, 2002 : selected papers2002 / p. 43-54 : ill

A unifying theory of electronic money and payment systemsBuldas, Ahto; Saarepera, Märt; Steiner, Jamie; Draheim, Dirktechrxiv.org2021 https://doi.org/10.36227/techrxiv.14994558.v2

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

Vastab Eesti parim noor teadlane anno 2002 [Ahto Buldas]Buldas, Ahto; Ummelas, MartMente et Manu2002 / 19. nov., lk. 1, 2 https://www.ester.ee/record=b1242496*est

Verified security of BLT signature schemeFirsov, Denis; Buldas, Ahto; Truu, Ahto; Laanoja, RistoCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 244-257 https://doi.org/10.1145/3372885.3373828

Ühispanga tõhus toetus ülikoolispordile : [31. okt. sõlmisid TTÜ ja Eesti Ühispank ülikoolisporti toetava sponsorlepingu : leping allkirjastati digitaalallkirjaga : kommenteerivad Gunnar Valge ja Ahto Buldas]Valge, Gunnar; Buldas, AhtoMente et Manu2002 / 5. nov., lk. 1 : ill https://www.ester.ee/record=b1242496*est

Ühissalastuse skeemidBuldas, Ahto; Leibak, AlarArvutimaailm1997 / 2, lk. 30-31