A. Kiayias

Publications
Influence

The Bitcoin Backbone Protocol: Analysis and Applications

J. Garay, A. Kiayias, N. Leonardos
Mathematics, Computer Science
EUROCRYPT
26 April 2015

In this work, we extract and analyze the core of the Bitcoin protocol, which we term the Bitcoin backbone, and prove two of its fundamental properties which we call common prefix and chain quality. Expand

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

A. Kiayias, A. Russell, B. David, R. Oliynykov
Computer Science
CRYPTO
20 August 2017

We present “Ouroboros”, the first blockchain protocol based on proof of stake with rigorous security guarantees. Expand

Robust key generation from signal envelopes in wireless networks

B. Azimi-Sadjadi, A. Kiayias, Alejandra Mercado, B. Yener
Computer Science
CCS '07
28 October 2007

This paper presents a novel approach that couples the physical layer characteristics of wireless networks with key generation algorithms. Expand

Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain

B. David, P. Gazi, A. Kiayias, A. Russell
Computer Science
EUROCRYPT
29 April 2018

We present “Ouroboros Praos”, a proof-of-stake blockchain protocol that, for the first time, provides security against fully-adaptive corruption in the semi-synchronous setting: Specifically, the adversary can corrupt any participant of a dynamically evolving population of stakeholders at any moment. Expand

Delegatable pseudorandom functions and applications

A. Kiayias, Stavros Papadopoulos, Nikos Triandopoulos, T. Zacharias
Computer Science
IACR Cryptol. ePrint Arch.
4 November 2013

We put forth the problem of delegating the evaluation of a pseudorandom function (PRF) to an untrusted proxy using a trapdoor derived from the DPRF secret key. Expand

Self-tallying Elections and Perfect Ballot Secrecy

A. Kiayias, M. Yung
Computer Science
Public Key Cryptography
12 February 2002

We present a novel voting scheme which is the first system that is dispute-free, self-tallying and supports perfect ballot secrecy. Expand

Anonymous Identification in Ad Hoc Groups

Yevgeniy Dodis, A. Kiayias, A. Nicolosi, V. Shoup
Computer Science, Mathematics
EUROCRYPT
2 May 2004

We introduce Ad hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad-hoc groups, and then prove membership anonymously in such groups. Expand

Scalability, fidelity and stealth in the DRAKVUF dynamic malware analysis system

Tamas K. Lengyel, S. Maresca, Bryan D. Payne, G. Webster, Sebastian Vogl, A. Kiayias
Computer Science
ACSAC '14
8 December 2014

We present DRAKVUF, a novel dynamic malware analysis system designed to address these challenges by building on the latest hardware virtualization extensions and the Xen hypervisor. Expand

Traceable Signatures

A. Kiayias, Yiannis Tsiounis, M. Yung
Computer Science
EUROCRYPT
2004

We present, implement and apply a new privacy primitive that we call Traceable Signatures. Expand

Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability

Christian Badertscher, P. Gazi, A. Kiayias, A. Russell, Vassilis Zikas
Computer Science
IACR Cryptol. ePrint Arch.
8 October 2018

We present a novel Proof-of-Stake (PoS) protocol, Ouroboros Genesis, that enables parties to safely join (or rejoin) the protocol execution using only the genesis block information. Expand

Recommended Authors