This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
6.04.1977
56 612 941
peeter@cyber.ee

Career

Institution and occupation
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
2005−...   
Nordsec 2005 to 2015, PC member
2004−...   
One of the organizers of the 9th and following Estonian Winter Schools on Computer Science
2016−2016   
CSF 2016, 29th Computer Security Foundations Symposium, PC member
2016−2016   
ESORICS 2016, 21st European Symposium on Research in Computer Security, PC member
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
2004−2005   
CCS 2004 & 2005, 11th & 12th ACM conference on Computer and Communications Security, PC member
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)
 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: static analysis of programs, abstract interpretation
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.7. Telecommunications; SPECIALITY: 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
 
1.2.
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
6.04.1977
56 612 941
peeter@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
2005−...   
NordSec 2005 kuni 2015 programmikomiteede liige
2004−...   
9.-... Eesti Arvutiteaduse Talvekooli üks organiseerijatest
2016−2016   
CSF 2016, 29th Computer Security Foundations Symposium, programmikomitee liige
2016−2016   
ESORICS 2016, 21st European Symposium on Research in Computer Security, programmikomitee liige
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
2004−2005   
CCS 2004 & 2005, 11th & 12th ACM conference on Computer and Communications Security programmikomiteede liige
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
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: programmide staatiline analüüs, abstraktne interpretatsioon
VALDKOND: 4. Loodusteadused ja tehnika; 4.7. Info- ja kommunikatsioonitehnoloogia; PÕHISUUND: 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
 
1.2.
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
  • Found 28 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
MUUIST-15964AEOLUS: Algorithmic Principles for Building Efficient Overlay Computers01.09.200528.02.2010Cybernetica AS95 809,63 EUR
MUU027751/TT8Reinforcing eGovernment services in Baltic States through legal and accountable Digital Time Stamp01.01.200630.10.2009Monika OitCybernetica AS105 502,35 EUR
MUUBES1xSustainability analysis for digital signatures18.02.201301.04.2013Arne AnsperCybernetica AS25 000,00 EUR
TKTT5Centre of Excellence in Computer Science (EXCS)01.09.200831.08.2015Cybernetica AS700 000,00 EUR
SFSF0011799s01Cryptographic security attributes of electronic documents and their long-term preservation01.01.200131.12.2005Ahto BuldasCybernetica AS145 654,64 EUR
MUUFP7-318762Facilitate Industry and Research in Europe (FIRE)01.09.201231.08.2014Monika OitCybernetica AS82 122,00 EUR
SFSF0012708s06Theoretical and Practical Security of Heterogenous Information Systems01.01.200631.12.2011Ahto BuldasCybernetica AS589 336,79 EUR
MUUHATS (231620)Highly Adaptive and Trustworthy Software Using Formal Models - HATS01.05.201028.02.2013Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT216 746,00 EUR
MUUSMTAT03043/45IKT erialade tugevdamine, Erikursus "Hästikomponeeruvad krüptograafilised turvadefinitsioonid"25.02.200605.03.2006Peeter LaudUniversity of Tartu1 482,24 EUR
TKSubprojectTAR16013 (EXCITE) (TK148)Estonian Centre of Excellence in ICT Research01.09.201601.03.2023Maarja KruusmaaTallinn University of Technology , School of Information Technologies, Centre for Biorobotics; Cybernetica AS2 642 075,15 EUR
MUUFP7-284731 (FP7-ICT-284731)Usable and Efficient Secure Multiparty Computation (UaESMC)01.02.201230.01.2015Peeter LaudCybernetica AS392 600,00 EUR
RITA2ITI12 (RITA2/057)Development possibilities of the cryptography economy sector in Estonia07.08.201806.01.2019Mari SeebaCybernetica AS40 999,00 EUR
ETFETF6944Security proofs for cryptographic protocols01.01.200731.12.2009Peeter LaudCybernetica AS33 257,58 EUR
RITA1SubprojectRITA1/01-50-06MANTICUS APOLLO01.09.201830.11.2020Peeter LaudCybernetica AS0,00 EUR
RITA1Master projectRITA1/01-50MANTICUS APOLLO01.09.201830.11.2020Peeter LaudCybernetica AS1 500 000,00 EUR
MUUMOBIUS (15905)Mobility, ubiquity and security for small devices - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT217 238,95 EUR
ETFETF6096Methods of game theory and risk analysis in data security01.01.200531.12.2006Jan VillemsonCybernetica AS22 782,63 EUR
MUUFP7-609611 (609611)PRACTICE: Privacy-Preserving Computation in the Cloud01.11.201331.10.2016Dan BogdanovCybernetica AS576 326,00 EUR
PUTPUT2Program Analyses and Optimizations for Secure Multiparty Computation Frameworks01.01.201331.12.2013Peeter LaudCybernetica AS82 800,00 EUR
ETFETF6713Static Analysis of Programs01.01.200631.12.2009Varmo VeneUniversity of Tartu; University of Tartu, Faculty of Mathematics and Computer Science; University of Tartu, Faculty of Mathematics and Computer Science31 889,36 EUR
IUTIUT27-1Theory and Practice of Secure Intergovernmental, -organizational, and -personal Information Exchange01.01.201431.12.2019Peeter LaudCybernetica AS844 500,00 EUR
MUUFP7-ICT-216064Secure, Trusted and Legally Ruled Collaboration Environment in Virtual Life (VIRTUALLIFE)01.01.200830.09.2011Cybernetica AS382 191,66 EUR
SFSF0182712s06The methods, environments, and applications for solving large and complex computational problems01.01.200631.12.2011Jaak ViloUniversity of Tartu, Faculty of Mathematics and Computer Science584 274,70 EUR
MUUFP7-318003Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security (TREsPASS)01.11.201231.10.2016Jan VillemsonCybernetica AS508 000,00 EUR
MUUH2020-644666 (644666)SecUre iNFormation SHaring in federated heterogeneous private clouds (SUNFISH)01.01.201531.12.2017Baldur KuboCybernetica AS324 250,00 EUR