See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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
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
  • Leitud 28 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUIST-15964AEOLUS: Algorithmic Principles for Building Efficient Overlay Computers01.09.200528.02.2010Cybernetica AS95 809,63 EUR
MUU027751/TT8BalticTime - täpse aja ja ajatempliteenuse väljatöötamine.01.01.200630.10.2009Monika OitCybernetica AS105 502,35 EUR
MUUBES1xDigitaalallkirja jätkusuutlikuse analüüs18.02.201301.04.2013Arne AnsperCybernetica AS25 000,00 EUR
TKTT5Eesti Arvutiteaduse Tippkeskus (EXCS)01.09.200831.08.2015Cybernetica AS700 000,00 EUR
SFSF0011799s01Elektrondokumentide krüptograafilised turvaatribuudid ja nende pikaajaline säilitamine 01.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
SFSF0012708s06Heterogeensete infosüsteemide teoreetiline ja praktiline turvalisus01.01.200631.12.2011Ahto BuldasCybernetica AS589 336,79 EUR
MUUHATS (231620)Highly Adaptive and Trustworthy Software Using Formal Models - HATS01.05.201028.02.2013Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut216 746,00 EUR
MUUSMTAT03043/45IKT erialade tugevdamine, Erikursus "Hästikomponeeruvad krüptograafilised turvadefinitsioonid"25.02.200605.03.2006Peeter LaudTartu Ülikool1 482,24 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
MUUFP7-284731 (FP7-ICT-284731)Kasutajasõbralikud ja kiired turvalised ühisarvutused01.02.201230.01.2015Peeter LaudCybernetica AS392 600,00 EUR
RITA2ITI12 (RITA2/057)Krüptograafia majandusharu arenguvõimalused Eestis07.08.201806.01.2019Mari SeebaCybernetica AS40 999,00 EUR
ETFETF6944Krüptograafiliste protokollide turvatõestused01.01.200731.12.2009Peeter LaudCybernetica AS33 257,58 EUR
RITA1AlamprojektRITA1/01-50-06MANTICUS APOLLO01.09.201830.11.2020Peeter LaudCybernetica AS0,00 EUR
RITA1ÜlemprojektRITA1/01-50MANTICUS APOLLO01.09.201830.11.2020Peeter LaudCybernetica AS1 500 000,00 EUR
MUUMOBIUS (15905)Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut217 238,95 EUR
ETFETF6096Mänguteooria ja riskianalüüsi meetodid andmeturbes01.01.200531.12.2006Jan VillemsonCybernetica AS22 782,63 EUR
MUUFP7-609611 (609611)Privaatsust säilitavad pilvearvutused (PRACTICE)01.11.201331.10.2016Dan BogdanovCybernetica AS576 326,00 EUR
PUTPUT2Programmianalüüsid ja -optimisatsioonid turvaliste ühisarvutuste raamistikele01.01.201331.12.2013Peeter LaudCybernetica AS82 800,00 EUR
ETFETF6713Programmide staatiline analüüs01.01.200631.12.2009Varmo VeneTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond; Tartu Ülikool, Matemaatika-informaatikateaduskond31 889,36 EUR
IUTIUT27-1Riikide, organisatsioonide ja isikute vahelise turvalise infovahetuse teooria ja praktika01.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
SFSF0182712s06Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused.01.01.200631.12.2011Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond584 274,70 EUR
MUUFP7-318003Tehnoloogiline tugi riskide arvutamiseks sotsio-tehnilise turvalisuse ennetava hindamise kaudu01.11.201231.10.2016Jan VillemsonCybernetica AS508 000,00 EUR
MUUH2020-644666 (644666)Turvaline infovahetus födereeritud heterogeensetes privaatpilvedes (SUNFISH)01.01.201531.12.2017Baldur KuboCybernetica AS324 250,00 EUR