Illinois
CSL
CSL:
Coordinated Science Lab
University of Illinois at Urbana-Champaign

Welcome to the Coordinated Science Lab at Illinois homepage!

  • Research
    • Impact Areas
      • Cybersecurity
      • Robotics
      • Health IT
      • Internet of Things
    • Groups
      • Circuits
      • Decision and Control
      • Computational and Physical Electronics
      • Reliable and High Performance Computing
      • Remote Sensing and Space Science
      • Signals, Inference, and Networks
    • Centers
      • Adv. Electronics through Machine Learning (CAEML)
      • Comp. Biotechnology and Genomic Med (CCBGM)
      • CompGen Initiative
      • Exascale Simulation of Plasma-Coupled Combustion (XPACC)
      • Health Care Engineering Systems Ctr
      • National Ctr for Professional & Research Ethics
      • People & Infrastructures
      • SONIC Center
    • Institutes
      • Advanced Digital Sciences Center
      • Information Trust Institute
      • Parallel Computing Institute
    • Initiatives
  • About
    • 65 Years of Science
    • Traveling to CSL
  • News/Media
    • News Stories
    • Connect Newsletter
    • Videos
    • Annual Reports
    • Uplink Newsletter
    • Tech Reports
  • Events
    • Lectures
      • Robert T. Chien Distinguished Lecturer Series
      • CSL Spotlight Lecture Series
      • CSL Distinguished Lecture Series
    • Conferences
    • CSL Social Hour
    • CSL PhD Thesis Award
  • Directory
    • Faculty
    • Staff
    • Graduate Students
    • Postdocs
    • Visiting Scholars
    • Business/Technical Contacts
  • Contact

News/Media

You are here

Home » News/Media
Illinois team takes first in cryptocurrency competition

Illinois team takes first in cryptocurrency competition

Aug 11, 2017 CoinJournal

KEVM, a framework developed by the University of Illinois at Urbana-Champaign with support from IOHK, has won this year’s IC3-Ethereum Crypto Boot Camp, a blockchain development event and competition. The team has modeled the world’s first complete, fully executable formal semantics of the Ethereum Virtual Machine (EVM), and produced the KEVM framework, which allows for formal execution, analysis, and verification of EVM smart contracts. The award was presented by CSL Assistant Professor Andrew Miller, IC3 Associate Director. 

Read full article:

KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition
CSL: Coordinated Science Laboratory
University of Illinois at Urbana-Champaign
CSL Building
1308 W Main Street
Urbana, IL 61801-2307, USA
217-333-2511
 
Copyright 2018 The Board of Trustees
at the University of Illinois
Privacy policy | Engineering Cookie Policy
150th Illinois Anniversary

Shaping the Future Since 1867.

The University of Illinois is Celebrating Its 150th Anniversary.


Celebrate With Us

 

  • About
  • News and Media
  • Events
  • Contact
  • My.CSL
Follow Us on Facebook
Follow Us on Twiitter
Follow Us on Instrgram
Follow Us on LinkedIn
Scroll to Top