See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Prastudy Mungkas Fauzi

https://etis.ee/CV/Prastudy Mungkas_Fauzi/est
31.01.1986
00372 58088689
prastudy.fauzi@gmail.com

Teenistuskäik

Töökohad ja ametid
29.08.2011–...   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Projekti täitja (1,00)
15.09.2016–31.01.2017   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, teadusprojekti spetsialist (1,00)
01.09.2013–31.07.2014   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, informaatika assistent (0,50)
01.09.2012–31.08.2013   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, informaatika assistent (0,50)
01.01.2007–31.12.2007   
University of Indonesia, Research Assistant
 
 
Haridustee
01.09.2012–27.02.2017   
filosoofiadoktor (informaatika)
01.08.2010–18.06.2012   
tehnikateaduse magister
2003–2007   
Bakalaureusekraad (Arvutiteadus)

Kvalifikatsioon

Teaduskraadid
Prastudy Mungkas Fauzi, doktorikraad, 2017, (juh) Helger Lipmaa, Efficient Non-Interactive Zero-Knowledge Protocols in the CRS Model (Efektiivsed mitteinteraktiivsed nullteadmusprotokollid referentssõne mudelis), Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
Prastudy Mungkas Fauzi, magistrikraad, 2012, (juh) Helger Lipmaa; Danilo Gligoroski, On Fully Homomorphic Encryption (Ülevaade täielikult homomorfsest krüpteerimisest), Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut.
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)

Jooksvad projektid

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
2.3.
2017
Fauzi, Prastudy Mungkas (2017). Efficient Non-interactive Zero-knowledge Protocols in the CRS Model. (Doktoritöö, University of Tartu). University of Tartu Press.
3.1.
2017
Fauzi, Prastudy; Lipmaa, Helger; Siim, Janno; Zajac, Michal (2017). An Efficient Pairing-Based Shuffle Argument. Asiacrypt 2017, Hong Kong, December 3--7 2017. Ed. Tsuyoshi Takagi, Thomas Peyrin. Springer, 97−127. (Lecture Notes in Computer Science; 10625).10.1007/978-3-319-70697-9_4.
3.1.
2016
Fauzi, Prastudy Mungkas; Lipmaa, Helger (2016). Efficient Culpably Sound NIZK Shuffle Argument without Random Oracles. CT-RSA 2016, San Francisco, USA; February 29--March 4, 2016. Ed. Kazue Sako. Springer Heidelberg, 200−216. (Lecture Notes in Computer Science; 9610). DOI: 10.1007/978-3-319-29485-8_12.
3.1.
2016
Fauzi, Prastudy; Lipmaa, Helger; Zajac, Michal (2016). A Shuffle Argument Secure in the Generic Model. Asiacrypt 2016, Hanoi, Vietnam; December 4-8, 2016. Ed. Jung Hee Cheon and Tsuyoshi Takagi. Springer Heidelberg, 841−872. ( Lecture Notes in Computer Science; 10032). DOI: 10.1007/978-3-662-53890-6_28.
3.1.
2014
Fauzi, Prastudy; Lipmaa, Helger; Zhang, Bingsheng (2014). Efficient Non-Interactive Zero Knowledge Arguments for Set Operations. FC 2014; Barbados; March 3-7, 2014. Ed. Nicolas Christin; Rei Safavi-Naini. Springer-Verlag Heidelberg, 216−233. (Lecture Notes in Computer Science; 8437).
3.1.
2013
Fauzi, Prastudy; Lipmaa, Helger; Zhang, Bingsheng (2013). Efficient Modular NIZK Arguments from Shift and Product. CANS 2013; Paraty, Brazil; November 20--22, 2013. Ed. Michel Abdalla; Cristina Nita-Rotaru; Ricardo Dahab. Springer Heidelberg, 92−121. (Lecture Notes in Computer Science; 8257).10.1007/978-3-319-02937-5_6.
27.05.2019

Prastudy Mungkas Fauzi

https://etis.ee/CV/Prastudy Mungkas_Fauzi/eng
31.01.1986
00372 58088689
prastudy.fauzi@gmail.com

Career

Institutions and positions
29.08.2011–...   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Other staff (1,00)
15.09.2016–31.01.2017   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Research Project Specialist (1,00)
01.09.2013–31.07.2014   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant in Informatics (0,50)
01.09.2012–31.08.2013   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant in Informatics (0,50)
01.01.2007–31.12.2007   
University of Indonesia, Research Assistant
 
 
Education
01.09.2012–27.02.2017   
Doctor of Philosophy (Computer Science)
01.08.2010–18.06.2012   
Master of Science in Engineering (Computer Science)
2003–2007   
Bachelor of Science (Computer Science)

Qualifications

Academic degrees
Prastudy Mungkas Fauzi, Doctor's Degree, 2017, (sup) Helger Lipmaa, Efficient Non-Interactive Zero-Knowledge Protocols in the CRS Model, University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science.
Prastudy Mungkas Fauzi, Master's Degree, 2012, (sup) Helger Lipmaa; Danilo Gligoroski, On Fully Homomorphic Encryption, University of Tartu, Faculty of Science and Technology, Institute of Computer Science.
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Cryptography
 
 

Projects in progress

Completed projects

Publications

Category
Year
Publication
 
2.3.
2017
Fauzi, Prastudy Mungkas (2017). Efficient Non-interactive Zero-knowledge Protocols in the CRS Model. (Doktoritöö, University of Tartu). University of Tartu Press.
3.1.
2017
Fauzi, Prastudy; Lipmaa, Helger; Siim, Janno; Zajac, Michal (2017). An Efficient Pairing-Based Shuffle Argument. Asiacrypt 2017, Hong Kong, December 3--7 2017. Ed. Tsuyoshi Takagi, Thomas Peyrin. Springer, 97−127. (Lecture Notes in Computer Science; 10625).10.1007/978-3-319-70697-9_4.
3.1.
2016
Fauzi, Prastudy Mungkas; Lipmaa, Helger (2016). Efficient Culpably Sound NIZK Shuffle Argument without Random Oracles. CT-RSA 2016, San Francisco, USA; February 29--March 4, 2016. Ed. Kazue Sako. Springer Heidelberg, 200−216. (Lecture Notes in Computer Science; 9610). DOI: 10.1007/978-3-319-29485-8_12.
3.1.
2016
Fauzi, Prastudy; Lipmaa, Helger; Zajac, Michal (2016). A Shuffle Argument Secure in the Generic Model. Asiacrypt 2016, Hanoi, Vietnam; December 4-8, 2016. Ed. Jung Hee Cheon and Tsuyoshi Takagi. Springer Heidelberg, 841−872. ( Lecture Notes in Computer Science; 10032). DOI: 10.1007/978-3-662-53890-6_28.
3.1.
2014
Fauzi, Prastudy; Lipmaa, Helger; Zhang, Bingsheng (2014). Efficient Non-Interactive Zero Knowledge Arguments for Set Operations. FC 2014; Barbados; March 3-7, 2014. Ed. Nicolas Christin; Rei Safavi-Naini. Springer-Verlag Heidelberg, 216−233. (Lecture Notes in Computer Science; 8437).
3.1.
2013
Fauzi, Prastudy; Lipmaa, Helger; Zhang, Bingsheng (2013). Efficient Modular NIZK Arguments from Shift and Product. CANS 2013; Paraty, Brazil; November 20--22, 2013. Ed. Michel Abdalla; Cristina Nita-Rotaru; Ricardo Dahab. Springer Heidelberg, 92−121. (Lecture Notes in Computer Science; 8257).10.1007/978-3-319-02937-5_6.
27.05.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 4 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF9303Efektiivsed ja turvalised krüptograafilised protokollid01.01.201231.12.2012Helger LipmaaCybernetica AS; Tartu Ülikool, Matemaatika-informaatikateaduskond13 706,40 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 121 014,65 EUR
TKSLTAT16148T (TK148)IT Tippkeskus EXCITE (TK148)01.01.201601.03.2023Jaak ViloTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 446 840,73 EUR
IUTIUT2-1Tõestatavalt turvalised ja korrektsed arvutisüsteemid01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 038 000,00 EUR