A blockchain is a form of distributed ledger technology where transactions as data state
changes are permanently recorded securely and transparently without the need for third …

Blockchains such as Bitcoin and Ethereum execute payment transactions securely, but their
performance is limited by the need for global consensus. Payment networks overcome this …

We present EverCrypt: a comprehensive collection of verified, high-performance
cryptographic functionalities available via a carefully designed API. The API provably …

Blockchain is a decentralized distributed ledger that combines multiple technologies,
including chain data structures, P2P networks, consensus algorithms, cryptographic …

The smart manufacturing ecosystem enhances the end-to-end efficiency of the mine-to-
market lifecycle to create the value chain using the big data generated rapidly by edge …

The specific order of commands agreed upon when running state machine replication
(SMR) is immaterial to fault-tolerance: all that is required is for all correct deterministic …

This paper introduces Nimble, a cloud service that helps applications running in trusted
execution environments (TEEs) to detect rollback attacks (ie, detect whether a data item …

The blockchain-based smart contract lacks privacy since the contract state and instruction
code are exposed to the public. Combining smart-contract execution with Trusted Execution …

Blockchain is a form of distributed ledger technology (DLT) where data is shared among
users connected over the internet. Transactions are data state changes on the blockchain …

TEE-based smart contracts are an emerging blockchain architecture, offering fully
programmable privacy with better performance than alternatives like secure multiparty …