Aggelos Kiayias
3 papers in the PaperMetrix corpus
Papers by this author
-
Making Any Identity-Based Encryption Accountable, Efficiently
2015 · Lecture notes in computer science
Identity-Based Encryption (IBE) provides a compelling solution to the PKI management problem, however it comes with the serious privacy consideration that a trusted party (called the PKG) is required to generate (and hence also know) …
-
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
2019
We present Ouroboros Crypsinous, the first formally analyzed privacy-preserving proof-of-stake blockchain protocol. To model its security we give a thorough treatment of private ledgers in the (G)UC setting that might be of independent interest. To …
-
Blockchains from Non-Idealized Hash Functions
2019 · IACR Cryptology ePrint Archive
The formalization of concrete, non-idealized hash function properties sufficient to prove the security of Bitcoin and related protocols has been elusive, as all previous security analyses of blockchain protocols have been performed in the random …