\documentclass[12pt]{article} \setlength{\textwidth}{15cm} \setlength{\hoffset}{-1cm} \setlength{\textheight}{24cm} \setlength{\voffset}{-2cm} \usepackage{t1enc} \usepackage[estonian]{babel} %\usepackage{fullpage} \begin{document} \begin{center} {\LARGE\it Curriculum Vitae } \end{center} \section{General data} \begin{enumerate} \item Name: Ahto Buldas \item Date of birth: January 17, 1967 \item Place of birth: Tallinn, Estonia \item Nationality: Estonian \item Marital status: married with Riina Buldas, three children: two daughters Birgit Buldas (6) and Piret Buldas (5), and son Bent Buldas (3). \item Contact: \begin{itemize} \item Home address: Ehitajate tee 70-113, Tallinn \item Phone: + 372 (51) 02 160 \item \textit{e-mail}: \texttt{ahto.buldas{@}ut.ee} \end{itemize} \item Education: \begin{itemize} \item Tallinn 43. Secondary School 1974--1985 \item Tallinn Technical University (student), 1985--1992 \item Soviet Army (soldier), 1985--1987 \item Tallinn Technical University (graduate student) 1992--1993, MSc degree 1993. \item Tallinn Technical University (doctoral studies) 1993--1997, PhD degree (in exact sciences) 1999. \end{itemize} \item Languages spoken: \begin{itemize} \item Estonian: native \item English: writing and speaking \item Russian: writing and speaking \item Finnish: speaking \item French: understanding with dictionary \end{itemize} \item Professional career: \begin{itemize} \item Tallinn Technical University (assistant) 1989--1992. \item Tallinn Technical University (lecturer) 1992--1994, 1998. \item Tallinn Technical University (assistant professor) 1996--1997. \item Institute of Cybernetics (junior researcher) 1993 -- 1994. \item Institute of Cybernetics (researcher) 1995--1997. \item Cybernetica (senior researcher) 1998--... \item Tartu University (associate professor) 2000--2004 \item Tallinn Technical University (professor) 2001--... \item Tartu University (professor) 2004-- \end{itemize} \end{enumerate} \section{Research activity} During 1989--1993, the main research topic was Testing and Verifying Digital Circuits, as well as Representation Theory of Boolean Functions (Binary Decision Diagrams, etc.). In 1993, my MSc thesis (related to the topic) obtained the Arnold Humal prize, which is presented to young Estonian mathematicians yearly. During 1993--1996, the main topic was graph theory. The results on certain algebraic structure theory of graphs is the main topic of my PhD thesis (1999) My interest in Cryptography started way back in 1990, related to attempts to improve the password defense system in Tallinn Technical University. More serious studies in cryptography began in 1993, when I was hired as a junior researcher by the Institute of Cybernetics. The first paper about organizational aspects of infomation security was presented at an international (database) conference held in Tallinn at 1996. Practical experience in cryptography as well as the knowledge about digital circuit design were a good starting point to some practice-oriented works together with J\"uri P\~oldre at Tallinn Techical University. A VLSI circuit (with about 300,000 gates) capable of fast IDEA-encryption and (relatively efficient) RSA-based key exchange was designed. About 30 samples of the chip were implemented (in real silicon) and successfully tested. A research paper was published about this design experiment. During 1997--2002, the main research topic was related to long-term authenticity of digital documents. The main motivation was my participation in a governmental commission for developing legal basis (in Estonia) for using electronic documents in the public sector. One of my most important papers [4] about time-stamping was initiated from the practical problems that raised during the work of this commission. In the later papers [5,6] about time-stamping, some technical improvements of the initial ideas were introduced. The papers [6,7,8,9] about electronic notarization are also related to my work in the said commission. During 2003, the main research topic was to increase the efficiency of electronic signature solutions and to revisit the notions of practical security of electronic signatures [12,13]. At the moment, the notion and estimation of practical security is still one of the main research topics. During 2004, my research was focused on formal security notions of time-stamping schemes. The results [14] were published at ASIACRYPT 2004. %\item Total number of scientific papers: 22\\ %Among them 18 during the last 5 years. \paragraph*{The most important paper:} joint work with Peeter Laud, Helger Lipmaa, and Jan Villemson: ``Time-Stamping with Binary Linking Schemes'', that was the first Estonian paper on Cryptography. \paragraph*{Estonian SF Grants:} \begin{itemize} \item ETF 934: ``Algebraic and Number-theoretical methods in Cryptography'', 01.01.1994 -- 31.12.1994 \item ETF 2245: ``Key management and key sharing protocols for certification authorities'', 01.01.1996 -- 31.12.1996 \item ETF 2771: ``The structure of graphs and graph decomposition methods'', 01.01.1997 -- 31.12.1997 \item ETF 3742: ``Digital time stamps'', 01.01.1999 -- 31.12.2000 \item ETF 4150: ``Notarization of digital signatures'', 01.01.2000 -- 31.12.2001 \item ETF 4760: ``Long-term authenticity of database queries'', 01.01.2001 -- 31.12.2002 \item ETF 5113: "Time-stamping schemes: security, efficiency, and availability'', 01.01.2002 -- 31.12.2003 \item ETF 5568: ``Cryptographic methods for verifiable soundness of database queries'', 01.01.2003 -- 31.12.2004 \item Governmental target financing 0011799s01 -- ``Cryptographic security attributes of electronic documents and their long-term preservation'' 01.01.01--31.12.05. \end{itemize} \section{Lectures and practical courses} \begin{itemize} \item Lectures in Tallinn Technical University (TTU), and in Tartu University(TU) (currently active courses in bold): \begin{itemize} \item Set Theory (TTU), spring '92. \item Discrete Mathematics (TTU), spring'96, spring'97, spring'98. \item Linear Algebra (TTU), autumn'97. \item Graphs (TU), autumn'2000, autumn'2001. \item {\bf Combinatorics} (TU, 4.0 cp), autumn'2000, autumn'2001, autumn'2002, autumn'2003, {\bf autumn'2004}. \item {\bf Introduction to data security} (TTU, 3.0 cp), spring'2002, spring'2003, spring'2004, {\bf spring'2005}. \item {\bf Introduction to Cryptography} (TTU, 3.0 cp), autumn'2002, autumn'2003. \item Cryptology I (TU), autumn'2002. \item {\bf Cryptology II (Foundations of Theoretical Cryptography)} (TU, 3.0 cp), autumn'2003. \end{itemize} \item Practical courses: \begin{itemize} \item Analysis (TTU), autumn'96, spring'97. \item Linear Algebra (TTU), autumn'97. \item Discrete Mathematics (TTU), spring'98. \end{itemize} \item Seminars: 1993--1995 (TTU), seminar on Algebra and the Foundations of Mathematics. \item Textbooks and lecture notes: \begin{itemize} \item Set Theory (lecture notes)\\ \texttt{http://home.cyber.ee/ahtbu} \item Galois' Theory (lecture notes)\\ \texttt{http://home.cyber.ee/ahtbu} \item Ahto Buldas, Peeter Laud, Jan Villemson. Graphs. Tartu University 2003 (textbook in Estonian) \end{itemize} \item Theses supervised. I have been a supervisor of two MSc theses and one PhD theses (Jan Willemson. Size efficient interval time stamps. Tartu 2002.) At the moment, I have 7 MSc students and one PhD student. \end{itemize} \section{Administrative activities} During 1997--2004, I have been the leader of the research on electronic documents and time-stamping in Cybernetica. During 1997--2000, I took part of the law-making process about electronic documents in Estonia. During 1998--2001, I participated in the ISO standard-development process (about the time-stamping standards). \section{Publications} \begin{enumerate} \item Ahto Buldas. Comparability graphs and the structure of finite graphs. \emph{Proc. Estonian Acad. Sci. Phys. Math.}, 1996, \textbf{45}, 2/3, 117--127. \item Ahto Buldas. Congruence lattice of a graph. \emph{Proc. Estonian Acad. Sci. Phys. Math.}, 1997, \textbf{46}, 3, 155--170. \item Ahto Buldas. Graphs and lattice varieties. \emph{Proc. Estonian Acad. Sci. Phys. Math.}, 1998, \textbf{47}, 2, 100--109. \item Ahto Buldas, Peeter Laud, Helger Lipmaa and Jan Villemson. Time-Stamping with binary linking schemes. In \emph{Advances in Cryptology -- CRYPTO'98},\emph{LNCS} 1462, 486--501. Springer-Verlag, 1998. \item Ahto Buldas and Peeter Laud. New linking schemes for digital time-stamping. In \emph{Proceedings of The 1st International Conference on Information Security and Cryptology -- ICISC'98}, 3--14, Seoul, Korea, 1998. \item Ahto Buldas, Helger Lipmaa and Berry Schoenmakers. Optimally efficient accountable time-stamping. In \emph{Public Key Cryptography -- PKC'2000}, Melbourne, Australia. \emph{LNCS} 1751, 293--305. Springer-Verlag, 2000. \item Ahto Buldas, Peeter Laud and Helger Lipmaa. Accountable Certificate Management using undeniable attestations. In \emph{The 7-th ACM Conference on Computer and Communication Security -- CCS'00}, Athens, Greece. Nov. 1-4, 2000. \item Arne Ansper, Ahto Buldas, Meelis Roos and Jan Willemson. Efficient long-term validation of digital signatures. In \emph{Public Key Cryptography -- PKC'2001}, Cheju Island, Korea. Feb. 13-15, 2001. \emph{LNCS} 1992, 402--415. Springer-Verlag, 2001. \item Arne Ansper, Ahto Buldas, M\"art Saarepera and Jan Willemson. Improving the availability of time-stamping services. In \emph{6th Australasian Conference on Information Security and Privacy -- ACISP'2001}, Sydney, Australia, July 2-4, 2001. \emph{LNCS} 2119, 360--375. Springer-Verlag, 2001. \item A.Buldas, P.Laud, H.Lipmaa. Eliminating counterevidence with applications to accountable certificate management. Journal of Computer Security, v. 10, n. 3, pp. 273-296, 2002. \item A.Buldas, M.Roos, J.Willemson. Undeniable replies for database queries. In H.-M. Haav, A.Kalja, eds., Proc. of the \emph{5th International Baltic Conference On Databases and Information Systems -- Baltic DB\&IS 2002}, v.2, pp.215-226. Institute of Cybernetics, Tallinn, 2002. \item Ahto Buldas, M\"art Saarepera. Electronic signature system with small number of private keys. \emph{2nd Annual PKI Research Workshop}, pp.96-108. NIST Gaithersburg MD, USA. April 28-29, 2003. \item Arne Ansper, Ahto Buldas, Margus Freudenthal, Jan Willemson. Scalable and Efficient PKI for Inter-Organizational Communication. \emph{Annual Computer Security Applications Conference -- ACSAC'2003}. \item Ahto Buldas and M\"art Saarepera. On provably secure time-stamping schemes. In \emph{ASIACRYPT 2004}, \emph{LNCS 3329}, pp. 500--514. 2004. \end{enumerate} %\vspace{3cm} %\hfil 03.02.2004\hfil Ahto Buldas\hfil \end{document}