Aggelos Kiayias

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 …