Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Formalne podstawy kryptowalut

2014/13/B/ST6/03540

Słowa kluczowe:

kryptografia bitcoin dowody pracy

Deskryptory:

  • ST6_5: Kryptologia, prywatność i bezpieczeństwo, informatyka kwantowa
  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Stefan Dziembowski 

Liczba wykonawców projektu: 3

Konkurs: OPUS 7 - ogłoszony 2014-03-17

Przyznana kwota: 649 600 PLN

Rozpoczęcie projektu: 2015-10-01

Zakończenie projektu: 2019-09-30

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptopy (2 szt.). Za kwotę 10 000 PLN

Dane z raportu końcowego/rocznego

  • Teksty w publikacjach pokonferencyjnych (6)
  1. FairSwap: How To Fairly Exchange Digital Goods
    Autorzy:
    Stefan Dziembowski, Lisa Eckey, and Sebastian Faust
    Konferencja:
    ACM SIGSAC Conference on Computer and Communications Security (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19 października 2018
    Status:
    Opublikowana
  2. Perun: Virtual Payment Hubs over Cryptocurrencies
    Autorzy:
    Stefan Dziembowski, Lisa Eckey, Sebastian Faust, and Daniel Malinowski∗
    Konferencja:
    40th IEEE Symposium on Security and Privacy (IEEE S&P Oakland) (rok: 2019, ), Wydawca: IEEE
    Data:
    konferencja 20-22 maja 2019
    Status:
    Opublikowana
  3. Multi-Party Virtual State Channels
    Autorzy:
    Stefan Dziembowski, Lisa Eckey, Sebastian Faust, Julia Hesse, and Kristina Hostáková
    Konferencja:
    38th Annual International Conference on the Theory and Applications of Cryptographic Techniques EUROCRYPT 2019 (rok: 2019, ), Wydawca: Sprigner
    Data:
    konferencja 19-23 maja 2019
    Status:
    Opublikowana
  4. Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts
    Autorzy:
    Wacław Banasik, Stefan Dziembowski, and Daniel Malinowski
    Konferencja:
    Computer Security – ESORICS 2016, 21st European Symposium on Research in Computer Security (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja September 26-30
    Status:
    Opublikowana
  5. Disproving the Conjectures from On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model"
    Autorzy:
    Daniel Malinowski and Karol Żebrowski
    Konferencja:
    International Conference on Information Theoretic Security (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 2017
    Status:
    Opublikowana
  6. General State Channel Networks
    Autorzy:
    Stefan Dziembowski, Kristina Hostakova, and Sebastian Faust
    Konferencja:
    ACM SIGSAC Conference on Computer and Communications Security 2018 (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19 października 2018
    Status:
    Opublikowana