Trusted third parties (TTPs) are frequently used for serving as an authority to issue and verify
transactions in applications. Although the TTP-based paradigm provides customers with …

As an innovated and revolutionized technology, blockchain has been applied in many fields,
such as cryptocurrency, food traceability, identity management, or even market prediction …

Blockchain has found applications to track ownership of digital assets. Yet, several
blockchains were shown vulnerable to network attacks. It is thus crucial for companies to …

We present VerX, the first automated verifier able to prove functional properties of Ethereum
smart contracts. VerX addresses an important problem as all real-world contracts must …

We live in an increasingly interconnected world, with many organizations operating across
countries or even continents. To serve their global user base, organizations are replacing …

We propose EnclaveDB, a database engine that guarantees confidentiality, integrity, and
freshness for data and queries. EnclaveDB guarantees these properties even when the …

Raft is a consensus algorithm for managing a replicated log. It produces a result equivalent
to (multi-) Paxos, and it is as efficient as Paxos, but its structure is different from Paxos; this …

Recent demands for storing and querying big data have revealed various shortcomings of
traditional relational database systems. This, in turn, has led to the emergence of a new kind …

Spanner is Google's scalable, multiversion, globally distributed, and synchronously
replicated database. It is the first system to distribute data at global scale and support …

We present Recipe, a principled approach for converting concurrent DRAM indexes into
crash-consistent indexes for persistent memory (PM). The main insight behind Recipe is that …