Curriculum vitae. u likoolis ka ta ppisteaduste doktori kraadi.

Transcription

1 Curriculum vitae Ahto Buldas su ndis 17. jaanuaril 1967 Tallinnas ja on Eesti kodanik. Abielus Riina Buldasega, kolme tu tre (Birgit 1998, Piret 2000, Bianka 2011) ja u he poja (Bent 2001) isa. Haridustee: Lo petas Tallinna 43. Keskkooli aastal Sai Tallinna Tehnikau likooli magistrikraadi aastal 1993, ning aastal 1999 samas u likoolis ka ta ppisteaduste doktori kraadi. Teenistuska ik: To o tas Tallinna Tehnikau likoolis laborandina aastail , lektorina aastail , dotsendina aastail ja professorina alates aastast Aastail to o tas Eesti TA Ku berneetika Instituudi nooremteadurina, ja teadurina aastail Alates aastast 1998 to o tab Cybernetica AS vanemteadurina. On to o tanud ka Tartu U likoolis dotsendina aastail ja professorina aastail Tunnustused: Eesti Matemaatika Seltsi poolt va lja antav Arnold Humala preemia (1995) Vabariigi Presidendi Kultuurirahastu noore teadlase preemia (2002) Valgeta he IV klassi teenetema rk (2015) Juhendatud Doktoriva itekirjad: Ahto Buldase juhendamisel on Tallinna Tehnikau likoolis (TTU ) ja Tartu U likoolis (TU ) kaitstud kokku viis doktorikraadi: 1. Aleksandr Lenin: Reliable and efficient determination of the likelihood of rational attacks (TTU 2016) 2. Margus Niitsoo: Black-box oracle separation techniques with applications in time-stamping (TU 2011) 3. Rain Ottis: A systematic Approach to offensive volunteer cyber militia (TTU 2011) 4. Aivo Kalu: Efficient semantics of parallel and serial models of attack trees (TTU 2010) 5. Jan Villemson: Size-efficient interval time stamps (TU 2002) Juhendatud magistriva itekirjad: Ahto Buldase juhendamisel on kaitstud 24 magistrikraadi: Chengxiang Wang (TTU 2017), Gvantsa Grigolia (TTU 2017), Oskar Poola (TTU 2015), Dyan Permata Sari (TTU 2014), Aleksandr Lenin (TTU 2012), Rossella Mattioli (2012), Roman Stepanenko (TTU 2012), Alexander Andrusenko (TTU 2010), Ahto Truu (TU 2010), Juri Hudolejev (TTU 2009), Richard Sassoon (TU 2009), Kristina Kallaste (TTU 2008), Lauri Ra tsep (TU 2008), Margus Niitsoo (TU 2008), Natalija Ilves (TTU 2008), Juri Gavs in (TU 2007), Liina Kamm (TU 2007), Rain Ottis (TTU 2007), Sergei S itov (TU 2007), Triinu Ma gi (TTU 2007), Aivo Kalu (TTU 2006), Meelis Selge (TTU 2006), Sven Laur (TU 2003), Uuno Puus (TU 2002) Teaduslikud huvid: Kru ptograafia, riskianalu u si meetodid, matemaatika alused.

2 Publikatsioonide nimekiri Teaduspublikatsioonid 1. Buldas, A.: Digitaalskeemide simuleerimise algebraliste meetodite analüüs. Magistritöö, Tallinna Tehnikaülikool (1993) 2. Ubar, R., Buldas, A., Paomets, P., Raik, J., Tulit, V.: A PC-based CAD System for Training Digital Test. In: Proc. EUROCHIP Workshop on VLSI Design Training, pp (1994) 3. Buldas, A.: Comparability graphs and the structure of finite graphs. Proc. Estonian Acad. Sci. Phys. Math., 45 (2/3): (1996) 4. Buldas, A., Priisalu, J.: A semi-formal method for security estimation. In: Haav, H.-M., Thalheim, B. (Eds.): Baltic DB&IS 1996, v.2, pp (1996) 5. Buldas, A.: Congruence lattice of a graph. Proc. Estonian Acad. Sci. Phys. Math., 46 (3): Buldas, A., Põldre, J.: A VLSI implementation of RSA and IDEA encryption engine. In: Proc. NORCHIP 97, pp Buldas, A., Laud, P., Lipmaa, H., Villemson, J.: Ajatempli protokollid, turvavajadused ja tehnilised nõuded. Lähteuuring DO- LU-X , Cybernetica AS. Tellitud Eesti Informaatikakeskuse poolt seoses Eesti digitaalallkirja seaduse loomisega. 8. Buldas, A.: Graphs and lattice varieties. Proc. Estonian Acad. Sci. Phys. Math., 47 (2): (1998) 9. Buldas, A., Laud, P., Lipmaa, H., Villemson, J.: Time-Stamping with binary linking schemes. In: Krawczyk, H. (Ed.): CRYP- TO 98. LNCS 1462, pp (1998) 10. Buldas, A., Laud, P.: New linking schemes for digital time-stamping. In: ICISC 98, pp.3 14, Seoul, Korea (1998) 11. Buldas, A.: An algebraic approach to the structure of graphs. Doktoritöö, Tallinna Tehnikaülikool (1999) 12. Buldas, A., Oit, M., Sarv, M.: (1999). Data security in state registers: theory and practice. In: Proc. Information Technologies and Telecommunications in the Baltic States, pp (1999) 13. Buldas, A., Lipmaa, H., Schoenmakers, B.: Optimally efficient accountable time-stamping. In: Imai, H., Zheng, Y. (Eds.): PKC LNCS 1751, pp (2000) 14. Buldas, A., Roos, M., Praust, V., Willemson, J.: On long-term validation of E-documents. Baltic IT-Review, 2 (17): (2000) 15. Buldas, A., Laud, P., Lipmaa, H.: Accountable Certificate Management using undeniable attestations. In: The 7th ACM Conference on Computer and Communication Security CCS 00, pp (2000) 16. Ansper, A., Buldas, A., Roos, M., Willemson, J.: Efficient long-term validation of digital signatures. In: Kim, K. (Eds.): PKC LNCS 1992, pp (2001) 17. Ansper, A., Buldas, A., Saarepera, M., Willemson, J.: Improving the availability of time-stamping services. In: Varadharajan, V., Mu, Y. (Eds.): ACISP LNCS 2119, pp (2001) 18. Buldas, A., Laud, P., Lipmaa, H.: Eliminating counterevidence with applications to accountable certificate management. Journal of Computer Security, 10 (3): (2002) 19. Buldas, A., Roos, M., Willemson, J.: Undeniable replies for database queries. In: Haav, H.-M., Kalja,A. (Eds.): Baltic DB&IS 2002, v.2, pp (2002) 20. Buldas, A., Saarepera, M.: Electronic signature system with small number of private keys. In: The 2nd Annual PKI Research Workshop, pp (2003) 21. Ansper, A., Buldas, A., Freudenthal, M., Willemson, J.: Scalable and efficient PKI for inter-organizational communication. In: ACSAC 2003, pp (2003) 22. Buldas, A., Freudenthal, M.: Long term archiving of electronic signatures. Baltic IT-Review, 1 (28): (2003) 23. Buldas, A., Saarepera, M.: On provably secure time-stamping schemes. In: Lee, P.J. (Ed.): ASIACRYPT LNCS 3329, pp (2004) 24. Buldas, A., Laud, P., Saarepera, M., Willemson, J.: Universally composable time-stamping schemes with audit. In: Zhou, J., Lopez, J., Deng, R.H., Bao, F. (Eds.): ISC 2005, LNCS 3650, pp (2005) 25. Buldas, A., Laur, S.: Do broken hash functions affect the security of time-stamping schemes? In: Zhou, J., Yung, M., Bao, F. (Eds.): ACNS 06, LNCS 3989, pp (2006) 26. Buldas, A., Laud, P., Priisalu, J., Saarepera, M., Willemson, J.: Rational choice of security measures via multi-parameter attack trees. In: Lopez, J. (Ed.): CRITIS LNCS 4347, pp (2006) 27. Buldas, A., Laur, S.: Knowledge-binding commitments with applications in time-stamping. In: Okamoto, T., Wang. X. (Eds.): PKC LNCS 4450, pp (2007) 28. Buldas, A., Mägi, T.: Practical security analysis of e-voting systems. In: Miyaji, A., Kikuchi, H., Rannenberg, K. (Eds.): IWSEC LNCS 4752, pp (2007)

3 29. Buldas, A., Jürgenson, A.: Does secure time-stamping imply collision-free hash functions? In: Susilo, W., Liu, J.K., Mu, Y. (Eds.): ProvSec LNCS 4784, pp (2007) 30. Buldas, A., Niitsoo, M.: Can we construct unbounded time-stamping schemes from collision-free hash functions? In: Baek, J.S., Bao, F., Chen, K., Lai, X. (Eds.): ProvSec LNCS 5324, pp (2008) 31. Buldas, A., Jürgenson, A., Niitsoo, M.: Efficiency bounds for adversary constructions in black-box reductions. In: Boyd, C., Gonzalez Nieto, J. (Eds.): ACISP LNCS 5594, pp (2009) 32. Buldas, A., Laur, S., Niitsoo, M.: Oracle separation in the non-uniform model. In: Pieprzyk, J., Zhang, F. (Eds.): ProvSec LNCS 5848, pp (2009) 33. Buldas, A., Niitsoo, M.: Optimally tight security proofs for hash-then-publish time-stamping. In: Steinfeld, R., Hawkes, P. (Eds.): ACISP LNCS 6168, pp (2010) 34. Buldas, A., Stepanenko, R.: Upper bounds for adversaries utility in attack trees. In: Grossklags, J., Walrand, J. (Eds.): Game- Sec LNCS 7638, pp (2012) 35. Buldas, A., Niitsoo, M.: Black-box separations and their adaptability to the non-uniform model. In: Boyd, C., Simpson, L. (Eds.): ACISP LNCS 7959, pp (2013) 36. Buldas, A., Laanoja, R.: Security proofs for hash tree time-stamping using hash functions with small output size. In: Boyd, C., Simpson, L. (Eds.): ACISP 2013, LNCS 7959, pp (2013) 37. Buldas, A., Andres Kroonmaa, Laanoja, R.: Keyless signatures infrastructure: How to build global distributed hash-trees. In: Riis Nielson, H., Gollmann, D. (Eds.): NordSec LNCS 8208, pp (2013) 38. Ansper, A., Buldas, A., Freudenthal, M., Willemson, J.: High-performance qualified digital signatures for X-Road. In: Riis Nielson, H., Gollmann, D. (Eds.): NordSec LNCS 8208, pp (2013) 39. Ansper, A., Buldas, A., Freudenthal, M., Willemson, J.: Protecting a federated database infrastructure against denial-of-service attacks. In: Luiijf, E., Hartel, P. (Eds.): CRITIS LNCS 8328, pp (2013) 40. Buldas, A., Lenin, A.: New efficient utility upper bounds for the fully adaptive model of attack trees. In: Das, S.K., Nita-Rotaru, C., Kantarcioglu, M. (Eds.): GameSec LNCS 8252, pp (2013) 41. Buldas, A., Laanoja, R., Laud, P., Truu, A.: Bounded pre-image awareness and the security of hash-tree keyless signatures. In: Chow, S.S.M., Liu, J.K., Hui, L.C.K., Yiu, S.M. (Eds.): Provsec LNCS 8782, pp (2014) 42. Buldas, A., Lenin, A.: Limiting adversarial budget in quantitative security analysis. In: Poovendran, R., Saad, W. (Eds.): GameSec LNCS 8840, pp (2014) 43. Buldas, A., Truu, A., Laanoja, R., Gerhards, R.: Efficient record-level keyless signatures for audit logs. In: Bernsmed, K., Fisher-Hübner, S. (Eds.): NordSec LNCS 8788, pp (2014) 44. Buldas, A., Heero, K., Laud, P., Talviste, R., Willemson, J.: Cryptographic algorithms lifecycle report Information System Authority. Doc. A June 22 (2016) 45. Buldas, A., Laanoja, R., Truu, A.: Keyless signature infrastructure and PKI: hash-tree signatures in pre- and post-quantum world. International Journal of Services Technology and Management (IJSTM), 23 (1/2) (2017) 46. Buldas, A., Saarepera, M.: Are the current system engineering practices sufficient to meet cyber crime? In: Tryfonas, T. (Ed.): HAS LNCS 10292, pp (2017) 47. Buldas, A., Geihs, M., Buchmann, J.: Long-term secure commitments via extractable-binding commitments. In: Pieprzyk, J., Suriadi, S. (Eds.): ACISP LNCS 10343, pp (2017) 48. Buldas, A., Kalu, A., Laud, P., Oruaas, M.: Server-supported RSA signatures for mobile devices. Foley, S.N., Gollmann, D., Snekkenes, E. (Eds.): ESORICS 2017, Part I. LNCS 10492, pp (2017) 49. Buldas, A., Lenin, A., Willemson, J., Charnamord, A.: Simple infeasibility certificates for attack trees. In: Obana, S., Chida, K. (Eds.): IWSEC LNCS 10418, pp (2017) 50. Buldas, A., Geihs, M., Buchmann, J.: Long-term secure time-stamping using preimage-aware hash functions. In: Okamoto, T., Yu, Y. (Eds.): ProvSec LNCS pp (2017) 51. Buldas, A., Laanoja, R., Truu, A.: A server-assisted hash-based signature scheme. In: Lipmaa, H., Mitrokotsa, A., Matulevičius, R. (Eds.): NordSec LNCS 10674, pp (2017) Patendid 52. US Patent # : Buldas, A., Laanoja, R., Truu, A.: System and method for sequential data signatures. Filed: April 11, Date of Patent: April 4, Assignee: GUARDTIME IP HOLDINGS, LTD. 53. US Patent # : Buldas, A., Truu, A., Andres Kroonmaa: Document verification with ID augmentation. Filed: August 5, Date of Patent: October 18, Assignee: GUARDTIME IP HOLDINGS, LTD. 54. US Patent # : Michael Gault, Laanoja, R., Buldas, A., Martin Ruubel, Peter Rajnak, David F. A. Piesse, Jian Tan, Jeffrey Pearce: System and method for field-verifiable record authentication. Filed: August 14, Date of Patent: February 23, Assignee: GUARDTIME IP HOLDINGS, LTD.

4 55. US Patent # : Michael Gault, Truu, A., Buldas, A., Martin Ruubel, Jeffrey Pearce: Non-deterministic time systems and methods. Filed: December 2, Date of Patent: November 3, Assignee: GUARDTIME IP HOLDINGS, LTD. 56. US Patent # : Buldas, A., Märt Saarepera: Document verification with distributed calendar infrastructure. Filed: April 30, Date of Patent: September 1, Assignee: GUARDTIME IP HOLDINGS, LTD. 57. US Patent # : Buldas, A., Andres Kroonmaa, Märt Saarepera: System and method for generating keyless digital multisignatures. Filed: June 20, Date of Patent: October 28, Assignee: GUARDTIME IP HOLDINGS, LTD. 58. US Patent # : Buldas, A., Märt Saarepera: Document verification with distributed calendar infrastructure. Filed: September 24, Date of Patent: May 6, Assignee: GUARDTIME IP HOLDINGS, LTD. 59. US Patent # : Buldas, A., Saarepera, M.: System and method for generating a digital certificate. Filed: January 29, Date of Patent: January 1, Assignee: GUARDTIME IP HOLDINGS, LTD. 60. US Patent # : Saarepera, M., Buldas, A.: System and method for generating a digital certificate. Filed: January 29, Date of Patent: November 13, Assignee: GUARDTIME IP HOLDINGS, LTD. 61. US Patent # : Buldas, A., Saarepera, M.: System and method for generating a digital certificate. Filed: December 7, Date of Patent: April 13, Assignee: GUARDTIME AS Patendiavaldused 62. US Patent Application # : Andres Kroonmaa, Buldas, A., Jeffrey Pearce: Redundant Fail-Safe Synchronization in a Data Authentication Infrastructure. Filed: February 27, Publication date: September 1, Applicant: GUARDTIME IP HOLDINGS, LTD. 63. US Patent Application # : Buldas, A., Märt Saarepera: Document Verification With Distributed Calendar Infrastructure. Filed: September 1, Publication date: January 28, Applicant: GUARDTIME IP HOLDINGS, LTD. 64. US Patent Application # : Buldas, A., Laanoja, R., Truu, A.: System and Method for Sequential Data Signatures. Filed: April 11, Publication date: October 15, Applicant: GUARDTIME IP HOLDINGS, LTD. 65. US Patent Application # : Michael Gault, Truu, A., Buldas, A., Martin Ruubel, Jeffrey Pearce: Non-Deterministic Time Systems and Methods. Filed: December 2, Publication date: June 4, Applicant: GUARDTIME IP HOL- DINGS, LTD. 66. US Patent Application # : Michael Gault, Laanoja, R., Buldas, A., Martin Ruubel, Peter Rajnak, David F. A. Piesse: System and Method for Field-Verifiable Record Authentication. Filed: August 14, Publication date: February 19, Applicant: GUARDTIME IP HOLDINGS, LTD. 67. US Patent Application # : Buldas, A., Truu, A., Andres Kroonmaa: Document Verification With Id Augmentation. Filed: August 5, Publication date: February 5, Applicant: GUARDTIME IP HOLDINGS, LTD. 68. US Patent Application # : Buldas, A., Märt Saarepera: Document Verification With Distributed Calendar Infrastructure. Filed: April 30, Publication date: September 18, Applicant: GUARDTIME IP HOLDINGS, LTD. 69. US Patent Application # : Buldas, A., Truu, A.: Verification System and Method with Extra Security for Lower- Entropy Input Records. Filed: May 24, Publication date: August 28, Applicant: GUARDTIME IP HOLDINGS, LTD. 70. US Patent Application # : Buldas, A., Saarepera, M.: Document Verification With Distributed Calendar Infrastructure. Filed: September 24, Publication date: October 17, Applicant: GUARDTIME IP HOLDINGS, LTD. 71. US Patent Application # : Buldas, A., Kroonmaa, A., Saarepera, M.: System and method for generating keyless digital multi-signatures. Filed: June 20, Publication date: December 20, Applicant: GUARDTIME IP HOLDINGS, LTD. 72. US Patent Application # : Saarepera, M., Buldas, A.: System and method for generating a digital certificate. Filed: January 29, Publication date: August 5, Applicant: GUARDTIME AS 73. US Patent Application # : Saarepera, M., Buldas, A.: System and method for generating a digital certificate. Filed: December 7, Publication date: June 23, US Patent Application # : Saarepera, M., Buldas, A.: System and method for renewing and extending digitally signed certificates. Filed: January 8, Publication date: September 30, US Patent Application WO A3: Buldas, A., Saarepera, M.: System and method for creating electronic signatures. Priority date: Jan 31, Filing date: Jan 30, Publication date: Dec 29, US Patent Application # : Ansper, A., Buldas, A., Roos, M., Villemson, J.: Method and apparatus for validating a digital signature. Filed: February 9, Publication date: October 18, US Patent Application WO A1: Buldas, A., Laud, P., Lipmaa, H., Villemson, J.: Time-stamping with binary linking schemes. Priority date: Aug 18. Filing date: Aug 18, , Publication date: Mar 2, 2000

5 Populaarteaduslikud kirjutised 78. Buldas, A.: Krüptoloogia. Miks ja kuidas? Arvutimaailm, 3: (1994) 79. Buldas, A., Lakspere, E., Priisalu, J.: Mikroarvuti plastkaardis. Arvutimaailm, 4: (1994) 80. Buldas, A.: Algoritmid ja diagonaalsed tõestused. Arvutustehnika ja andmetöötlus, 1: 5 10 (1995) 81. Buldas, A.: Graafid ja järjestused. Arvutustehnika ja andmetöötlus, 2: 2 8 (1995) 82. Buldas, A.: Sissejuhatus matroidide teooriasse. Arvutustehnika ja andmetöötlus, 3: 2 5 (1995) 83. Buldas, A.: Goodsteini teoreemist. Arvutustehnika ja andmetöötlus, 4: 2 6 (1995) 84. Buldas, A.: Mis on p-aadilised arvud? Arvutustehnika ja andmetöötlus, 9: 2 8 (1995) 85. Buldas, A.: Elektrondokumendid tõendusmaterjalina. Arvutimaailm, 8: Buldas, A., Lipmaa, H.: Ajatemplid digitaaldokumentidel. Arvutimaailm, 2: (1998) 87. Buldas, A.: Allkirjad elektroonilistel dokumentidel: vääramatu tõenduse algoritmidest. Arvutustehnika ja andmetöötlus, 6: (2000) 88. Buldas, A.: Teadusest, ärist ja impeeriumi pärandusest. Arvutustehnika ja andmetöötlus, 4: 5 8 (2001) Õpikirjandus 89. Hanson, V., Buldas, A., Martens, T., Lipmaa, H., Ansper, A., Tulit, V.: Infosüsteemide turve I. Turvarisk. Küberneetika AS 90. Hanson, V., Buldas, A., Martens, T., Lipmaa, H., Ansper, A., Tulit, V.: Infosüsteemide turve II. Turbetehnoloogia. Küberneetika AS (1998) 91. Buldas, A., Laud, P., Willemson, J.: Graafid. Tartu: Tartu Ülikooli Kirjastus (2008) 92. Veldre, A., Hanson, V., Laur, M., Buldas,A., Krasnosjolov, J.: Andmekaitse ja infoturbe seletussõnastik: AKIT (2011)