IC3: Advancing the science and applications of blockchains

Latest on Blog

by Yujin Kwon, Jian Liu, Minjeong Kim, Dawn Song, and Yongdae Kim on September 30, 2019
Decentralization is an essential factor the should be inherently considered in the design of blockchain systems. Even though people design systems for good decentralization, in practice, we often observe that blockchain systems are highly centralized. Bitcoin and Ethereum, as representative examples, are already well known to be highly centralized in terms of network and mining. In fact, poor decentralization appears not only in PoW-based coins but also in coins adopting other mechanisms such as proof-of-stake (PoS) and delegated proof-of-stake (DPoS).
by Bryan Ford and Rainer Böhme on September 23, 2019
If you think you have designed a permissionless decentralized system that is cleverly secured based on rationality assumptions, you haven't. This blog post, based partly on ideas from Rainer Böhme's talk at the recent BDLT Summer School in Vienna, sketches an argument that rationality assumptions are self-defeating in open permissionless systems with weak identities.
by Fan Zhang, Steven Goldfeder, and Ari Juels on Tuesday September 03, 2019 at 02:00 PM
An oracle is a service that provides data to smart contracts or other systems. Oracles obtain their data from trusted websites. But even those that relay data correctly cannot safely access users' web-session data, because they can't enforce privacy. DECO is a privacy-preserving oracle protocol. Using cryptographic techniques, it lets users prove facts about their web (TLS) sessions to oracles while hiding privacy-sensitive data. DECO can make private and public web data accessible to a rich spectrum of applications, for blockchains and traditional (non-blockchain) systems.
by Aman Ladia and Andrew Miller on July 17, 2019
ZeroWallet is a new protocol that uses zero knowledge proofs to secure private keys with low-entropy passwords. It provides the convenience of brain wallets with a security guarantee comparable to third party multi-sig setups.
by Amani Moin and Kevin Sekniqi on May 07, 2019 at 09:30 AM
Some algorithmic stablecoins have proposed incorporating price feeds by asking their token holders. In this post, we point out that this mechanism is broken because of a fundamental incentive misalignment.
Older blogs...

News & Events

Friday November 22, 2019
IC3 faculty, students, sponsors, an guests gather at IC3 Retreats to discuss the major technical challenges, issues and innovatve solutions to widespread blockchain adoption.
Thursday October 24, 2019
Tyler Kell is a Research Engineer at Cornell Tech & the Initiative for Cryptocurrencies and Contracts (IC3) in New York City. In a prior life, before becoming a researcher, he worked as a penetration tester and security consultant.
October 5-6, 2019
Join IC3 Directors, Ari Juels and Andrew Miller at this two day gathering at MIT. This event is focused on collaboratively building an interdisciplinary field of cryptocurrency and blockchain technology research. Tickets can be purchased here.
Wednesday October 2, 2019
Phil Daian is a noted researcher, second year PhD student at Cornell and IC3, and a software engineer with a passion for computer security and applied cryptography. His research interests span several computer science subfields, with a focus in his current work primarily covering cryptocurrencies and smart contracts.
More News and Events

Featured Projects

Hawk: Privacy-Preserving Blockchain & Smart Contracts

Existing blockchain-based cryptocurrencies such as Bitcoin and Ethereum store all financial transactions in the clear on the blockchain. This compromises the privacy of financial transactions, which is essential in numerous applications. Hawk is a blockchain-based smart contract system that stores encrypted transactions on the blockchain, and relies on cryptography to retain the security of the cryptocurrency. For further details, please check out https://oblivm.com/hawk.

Keywords:
Confidentiality
Correctness
Cryptography
Privacy

More projects:

  • Virtual Notary: A Free and Secure Electronic Attestation Service
  • EtherScrape: A Complementary Block Explorer for the Ethereum Blockchain
  • FLAC: A Calculus for Flow-Limited Authorization
  • Gyges: Crime in Decentralized Smart Contracts
  • Theoretical Foundations for Secure Decentralized Systems: Identifies Problems With The DAO's Mechanism Design
Even more projects...

Available Positions

Follow Us