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 http://doi.org/10.1007/978-3-319-58460-7_31

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

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

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

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

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

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

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 http://dx.doi.org/10.1504/IJSTM.2017.10002708

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

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 http://doi.org/10.1007/978-3-319-60055-0_4

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

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

New linking schemes for digital time-stampingBuldas, Ahto; Laud, PeeterProceedings of the CISC'98, Seoul, Korea1998 / p. 112-123

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

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

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

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

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

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 http://doi.org/10.1007/978-3-319-66402-6_19

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

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

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

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