IC3: Advancing the science and applications of blockchains

Latest on Blog

by Deepak Maram (Mysten Labs, IC3 Alum), Mahimna Kelkar (Cornell Tech, IC3), and Ittay Eyal (Technion, IC3) on November 06, 2024
The authors examine interactive authentication mechanisms that could enhance wallet security, helping crypto users transact more safely.
by Marwa Mouallem, Ittay Eyal, and Ittai Abraham on August 09, 2024
Public key cryptography (PKC) is a fundamental technology that is a key enabler to the Internet and the whole client-server paradigm. Without public key cryptography there would be no cryptocurrencies, no online bank accounts, no online retail, etc.
by Surya Bakshi (UIUC, IC3, Offchain Labs), Sarah Allen (IC3, Flashbots), Lorenz Breidenbach (IC3, Chainlink Labs), Jim Ballingall (IC3), Haaroon Yousaf (IC3), Patrick McCorry (IC3, Arbitrum Foundation), Giannis Kaklamanis (Yale University), Vivian Jeng (Ethereum Foundation), Jayamine Alupotha (IC3, University of Bern), Mariarosaria Barbaraci (IC3, University of Bern), Abhimanyu Rawat (UPF Barcelona) on June 20, 2024
The team behind Boquila, a proof of concept to obscure identifiable information from third-party websites, took the top spot at this year’s hackathon. We sat down with Mariarosaria Barbaraci and Jayamine Alupotha, two members of the winning team, to talk about what they built and their experience at this year’s IC3 Blockchain Camp.
Older blogs...

Events

August 4-6, 2025
The conference focuses on technical innovations in the blockchain ecosystem, and brings together researchers and practioners working in the space. We aim to foster collaboration among the different communities working on blockchain protocols, cryptography, distributed systems, secure computing, and crypto-economics.
June 9-15, 2025
Join us for the 10th Annual IC3 Blockchain Camp! This 7-day experience will be hosted once again at the Cornell Tech Campus on Roosevelt Island, New York City. IC3's Technical Committee of Sarah Allen, Surya Bakshi, Lorenz Breidenbach, Patrick McCorry, and Haaroon Yousaf is preparing another immersive coding and learning experience!
January 5-9, 2025
Thank you to all who joined us for the IC3 Winter Retreat 2025 at the Hotel Terrace in Engelberg, Switzerland!
More events

News

Featured Projects

IFC: An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference

Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relatively extensional and compositional, designing expressive systems that enforce such properties remains challenging. In particular, it can be difficult to use IFC labels to model certain security assumptions, such as semi-honest agents. Motivated by these modeling limitations, we study the algebraic semantics of lattice-based IFC label models, and propose a semantic framework that allows formalizing asymmetric delegation, which is partial delegation of confidentiality or integrity. Our framework supports downgrading of information and ensures their safety through nonmalleable information flow (NMIF). To demonstrate the practicality of our framework, we design and implement a novel algorithm that statically checks NMIF and a label inference procedure that efficiently supports bounded label polymorphism, allowing users to write code generic with respect to labels. For further details, please check out our Projects Page.

Keywords:
NMIF
Delegation
Confidentiality
Security

More projects:

  • DeServe: Towards Affordable Offline LLM Inference via Decentralization
  • Thetacrypt: A Distributed Service for Threshold Cryptography
  • AUCIL: An Inclusion List Design for Rational Parties
  • Ready Layer One: Functional Regulation for Blockchain Infrastructure
  • Arbigraph: Verifiable Turing-Complete Execution Delegation
Even more projects...

Opportunities

Follow Us

Sign up here to join our mailing list and stay up to date on all things IC3!