6.04.1977
56 612 941
peeter.laud@cyber.ee

Teenistuskäik

Töökohad ja ametid
2008–...   
Cybernetica AS, Teadusdirektor (1,00)
01.11.2009–31.01.2012   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, krüptoloogia professor (0,50)
01.09.2008–31.10.2009   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, krüptograafia dotsent (0,50)
01.09.2004–31.07.2008   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, krüptograafia vanemteadur (1,00)
2003–2004   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool, Vanemteadur (1,00)
2002–2003   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool, Erakorraline teadur (0,80)
2002–2008   
Cybernetica AS, Vanemteadur (0,50)
1999–2000   
Saarimaa Ülikool, teaduslik töötaja (1,00)
1998–1999   
Cybernetica AS, Teadur (0,50)
1996–1998   
HClub-Arvutitarkvara AS, programmeerija (1,00)
 
 
Haridustee
1997 - Tartu Ülikool, informaatikabakalaureus
1998 - Tartu Ülikool, informaatikamagister
2002 - Saarimaa Ülikool (Saksamaa), inseneriteaduste doktor
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2017−2019   
ASIACCS 2017, 2018, 2019 programmikomitee liige
2016−2016   
CSF 2016, 29th Computer Security Foundations Symposium, programmikomitee liige
2016−2017   
ESORICS 2016 & 2017, 21st & 22nd European Symposium on Research in Computer Security, programmikomitee liige
2016−2017   
2015−2017   
PETS 2016 & 2017, 16th & 17th Privacy Enhancing Technologies Symposium, programmikomitee / Proceedings on Privacy Enhancing Technologies (De Gruyter Open) toimetuskolleegiumi liige
2015−2016   
CCS 2015 & 2016, 22nd and 23rd ACM conferences on Computer and Communications Security, programmikomitee liige
2014−2015   
POST 2015 & 2016, 4th & 5th Conference on Principles of Security and Trust, programmikomiteede liige
2013−2013   
FCS'13, Workshop on Foundations of Computer Security, programmikomitee liige
2013−2013   
SPLST'13, 13th Symposium on Programming Languages and Software Tools, programmikomitee liige
2012−2012   
Sixth International Conference 'Mathematical Methods, Models, and Architectures for Computer Network Security' (MMM-ACNS-2012), programmikomitee liige
2012−2012   
CCS 2012, 19th ACM conference on Computer and Communications Security programmikomitee liige
2011−2011   
First Conference on Principles of Security and Trust (POST 2012), programmikomitee liige
2011−2011   
Nordsec 2011, programmikomitee esimees
2010−2010   
2nd International Workshop on Security and Communication Networks (IWSCN 2010), programmikomitee liige
2009−2015   
Eesti Info- ja kommunikatsioonitehnoloogia doktorikool, nõukogu liige
2009−2009   
14th European Symposium on Research in Computer Security (ESORICS), programmikomitee liige
2008−2015   
Eesti arvutiteaduse tippkeskus (EXCS), juthkomitee liige
2008−2008   
21st Computer Security Foundations Symposium, programmikomitee liige
2007−2007   
3rd workshop on Formal and Computational Cryptography, programmikomitee liige
2007−2008   
5th and 6th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, programmikomiteede liige
2006−2006   
Inscrypt 2006 programmikomitee liige
2006−2006   
MFPS XXII, Twenty-second Conference on the Mathematical Foundations of Programming Semantics, programmikomitee liige
2006−2006   
2007 IEEE Symposium on Security and Privacy, programmikomitee liige
2005−2005   
SecCo'05, 3rd International Workshop on Security Issues in Concurrency programmkomitee liige
2005−2005   
Nordsec 2005 organiseerimiskomitee liige
2005−2016   
NordSec 2005 kuni 2016 programmikomiteede liige
2004−2005   
CCS 2004 & 2005, 11th & 12th ACM conference on Computer and Communications Security programmikomiteede liige
2004−2018   
9.-... Eesti Arvutiteaduse Talvekooli üks organiseerijatest
2003−2006   
Tartu Ülikooli arvutiteaduse instituudi teadusseminari läbiviija

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2011, Peeter Laud, Parima artikli auhind (infosüsteemide ala) konverentsil ACM Symposium on Applied Computing 2011
2011, Peeter Laud, Vabariigi Presidendi Kultuurirahastu noore teadlase preemia
2003, Peeter Laud, Euroopa Programmeerimiskeelte ja -süsteemide (EAPLS) auhind parima artikli eest kobarkonverentsil ETAPS '03
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: programmide staatiline analüüs, abstraktne interpretatsioon
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.7. Info- ja kommunikatsioonitehnoloogia; TÄPSUSTUS: krüptoloogia, krüptoprotokollide turvaanalüüs
 
 
Lisainfo
EU FP6 IST integrated project "Mobility, Ubiquity and Security for small devices (MOBIUS)", 2005-2009, leping nr. 15905; põhitäitja
EU FP7-ICT integrated project "Highly Adaptable and Trustworthy Software using Formal Models (HATS)", 2010-2013, leping nr. 231620; põhitäitja
EU FP7-ICT integrated project "Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security (TREsPASS)", 2012-2016, leping nr. 318003; põhitäitja
EU FP7-ICT STREP "Secure, Trusted and Legally Ruled Collaboration Environment in Virtual Life (VirtualLife)", 2008-2011, leping nr. 216064; põhitäitja
DARPA PROCEED projekt "SEcure VIrtuaL machines and LAnguages" (SEVILLA), 2011-2015, põhitäitja
EU FP7 ICT STREP "Usable and Efficient Secure Multiparty Computation" (UaESMC), 2012-2015, leping nr. 284731, koordinaator
EU FP6 IST STREP "Reinforcing eGovernment services in Baltic States through legal and accountable Digital Time Stamp (BALTICTIME)", 2006-2008, leping nr. 27751; site leader (Cybernetica)
EU FP6 IST integrated project "Algorithmic Principles for Building Efficient Overlay Computers (AEOLUS)", 2005-2009, leping nr. 15964; site leader (Cybernetica)
DARPA Brandeis projekt "Novel tools for Analyzing Privacy LeakagES" (NAPLES), 2015-2020, vastutav täitja

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
1.1.
2018
3.1.
2018
3.1.
2018
1.2.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
1.2.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
4.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.2.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
4.1.
2012
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
1.1.
2010
3.1.
2010
3.1.
2009
3.1.
2009
3.4.
2009
1.1.
2008
1.2.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.4.
2008
6.2.
2008
3.4.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.4.
2006
5.2.
2006
1.1.
2005
1.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
1.1.
2004
3.1.
2004
1.1.
2003
3.4.
2003
6.2.
2003
1.2.
2002
3.4.
2002
5.2.
2002
6.7.
2002
1.1.
2001
3.1.
2000
1.1.
1998
3.4.
1998
6.7.
1998
23.04.2019
6.04.1977
56 612 941
peeter.laud@cyber.ee

Career

Institutions and positions
2008–...   
Cybernetica AS, Scientific director (1,00)
01.11.2009–31.01.2012   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Professor of Cryptology (0,50)
01.09.2008–31.10.2009   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Associate Professor (0,50)
01.09.2004–31.07.2008   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Senior Research Fellow (1,00)
2003–2004   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, Senior Researcher (1,00)
2002–2003   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, Extraordinary Researcher (0,80)
2002–2008   
Cybernetica AS, Senior Researcher (0,50)
1999–2000   
Saarland University, researcher (1,00)
1998–1999   
Cybernetica AS, Researcher (0,50)
1996–1998   
HClub-Arvutitarkvara AS, programmer (1,00)
 
 
Education
1997 - Tartu University, BSc (computer science)
1998 - Tartu University, MSc (computer science)
2002 - University of Saarland, Dr. of engineering (Dr.-Ing.)
 
 
R&D related managerial and administrative work
2017−2019   
ASIACCS 2017, 2018, 2019, PC member
2016−2016   
CSF 2016, 29th Computer Security Foundations Symposium, PC member
2016−2017   
ESORICS 2016 & 2017, 21st & 22nd European Symposium on Research in Computer Security, PC member
2016−2017   
2015−2017   
PETS 2016 & 2017, 16th & 17th Privacy Enhancing Technologies Symposium, PC member / Proceedings on Privacy Enhancing Technologies (De Gruyter Open), editorial board member
2015−2016   
CCS 2015 & 2016, 22nd and 23rd ACM conferences on Computer and Communications Security, PC member
2014−2015   
POST 2015 & 2016, 4th & 5th Conference on Principles of Security and Trust, PC member
2013−2013   
FCS'13, Workshop on Foundations of Computer Security, PC member
2013−2013   
SPLST'13, 13th Symposium on Programming Languages and Software Tools, PC member
2012−2012   
Sixth International Conference 'Mathematical Methods, Models, and Architectures for Computer Network Security' (MMM-ACNS-2012), PC member
2012−2012   
CCS 2012, 19th ACM conference on Computer and Communications Security, PC member
2011−2011   
First Conference on Principles of Security and Trust (POST 2012), PC member
2011−2011   
Nordsec 2011, PC chair
2010−2010   
2nd International Workshop on Security and Communication Networks (IWSCN 2010), PC member
2009−2015   
Estonian Doctoral school in information and communication technology, member of the board
2009−2009   
14th European Symposium on Research in Computer Security (ESORICS), PC member
2008−2015   
Estonian Centre of Excellence in Computer Science (EXCS), member of the management committee
2008−2008   
21st Computer Security Foundations Symposium, PC member
2007−2007   
3rd workshop on Formal and Computational Cryptography, PC member
2007−2008   
5th and 6th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, PC member
2006−2006   
Inscrypt 2006, PC member
2006−2006   
MFPS XXII, Twenty-second Conference on the Mathematical Foundations of Programming Semantics, PC member
2006−2006   
2007 IEEE Symposium on Security and Privacy, PC member
2005−2005   
SecCo'05, 3rd International Workshop on Security Issues in Concurrency, PC member
2005−2005   
Nordsec 2005, organizing commitee member
2005−2016   
Nordsec 2005 to 2016, PC member
2004−2005   
CCS 2004 & 2005, 11th & 12th ACM conference on Computer and Communications Security, PC member
2004−2018   
One of the organizers of the 9th and following Estonian Winter Schools on Computer Science
2003−2006   
Organizer of the scientific seminar of the institute of Computer Science of Tartu University

Qualifications

 
 
Honours & awards
2011, Peeter Laud, Best paper award (Information Systems area) at ACM Symposium on Applied Computing 2011
2011, Peeter Laud, Young Scientist Award of the Cultural Foundation of the President (Estonia)
2003, Peeter Laud, Best paper award at the joint conferences ETAPS '03 by the European Association of Programming Languages and Systems (EAPLS)
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: static analysis of programs, abstract interpretation
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.7. Telecommunications; SPECIFICATION: cryptology, security analysis of cryptographic protocols
 
 
Additional information
EU FP6 IST integrated project "Mobility, Ubiquity and Security for small devices (MOBIUS)", 2005-2009, contract no. 15905; main investigator
EU FP7-ICT integrated project "Highly Adaptable and Trustworthy Software using Formal Models (HATS)", 2010-2013, contract no. 231620; main investigator
EU FP7-ICT integrated project "Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security (TREsPASS)", 2012-2016, contract no. 318003; main investigator
EU FP7-ICT STREP "Secure, Trusted and Legally Ruled Collaboration Environment in Virtual Life (VirtualLife)", 2008-2011, contract no. 216064; main investigator
DARPA PROCEED project "SEcure VIrtuaL machines and LAnguages" (SEVILLA), 2011-2015, main investigator
EU FP7 ICT STREP "Usable and Efficient Secure Multiparty Computation" (UaESMC), 2012-2015, contract no. 284731, coordinator
EU FP6 IST STREP "Reinforcing eGovernment services in Baltic States through legal and accountable Digital Time Stamp (BALTICTIME)", 2006-2008, contract no. 27751; site leader (Cybernetica)
EU FP6 IST integrated project "Algorithmic Principles for Building Efficient Overlay Computers (AEOLUS)", 2005-2009, contract no. 15964; site leader (Cybernetica)
DARPA Brandeis project "Novel tools for Analyzing Privacy LeakagES" (NAPLES), 2015-2020, principal investigator

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
1.1.
2018
3.1.
2018
3.1.
2018
1.2.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
1.2.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
4.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.2.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
4.1.
2012
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
1.1.
2010
3.1.
2010
3.1.
2009
3.1.
2009
3.4.
2009
1.1.
2008
1.2.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.4.
2008
6.2.
2008
3.4.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.4.
2006
5.2.
2006
1.1.
2005
1.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
1.1.
2004
3.1.
2004
1.1.
2003
3.4.
2003
6.2.
2003
1.2.
2002
3.4.
2002
5.2.
2002
6.7.
2002
1.1.
2001
3.1.
2000
1.1.
1998
3.4.
1998
6.7.
1998
23.04.2019