• Explore
    • Contact Us
  • Faculty
  • Research
    • Research Areas
    • Research Centers
  • Graduate Degrees
    • Computer Science Programs
    • Current Graduate Students
  • Undergraduate Degrees
  • News & Events
    • News
    • Seminar Series
    • Distinguished Lecture Series
    • Research Showcase
  • Apply Now
    • Undergraduate Admissions
    • Graduate Admissions
    • Faculty Candidates

Professor Tsudik Receives SRC Grant for Research on Security of Low-End IoT Devices

November 8, 2019

Distinguished Professor of Computer Science Gene Tsudik received a grant from the Semiconductor Research Corp. (SRC) in the amount of $270,000 for a project titled: “Formally Verified Remote Attestation and Related Services for Low-End IoT Devices.” It is funded through the SRC’s Trustworthy and Secure Semiconductors and Systems (T3S) program. The project aims to develop a first-of-its-kind suite of formally verified basic security services for low-end embedded, Internet of Things (IoT), and cyber-physical system (CPS) devices. Such services include remote attestation, memory erasure, device reset, as well as software update and code execution. Proposed research will use “state-of-the-art automated formal verification tools” and will produce “detailed design specs for each service,” along with a functional prototype implementation of each service.

SRC is a consortium of major computer manufacturers that funds, among other things, academic research. Its funding selection process is highly competitive.

— Shani Murray

« Student Spotlight: Veteran Mario Rodriguez Thankful for Opportunity to Serve
Professor Tsudik Elected to Inaugural Cohort of IFIP Fellows »

Latest news

  • Identifying the Building Blocks of Attention in Deep Learning March 21, 2023
  • Faculty Spotlight: Jennifer Wong-Ma and the Power of Community March 20, 2023
  • Computer Science Ph.D. Candidate Takami Sato Named Public Impact Fellow March 14, 2023
  • Irani Builds New Collaborations as Associate Director of the Simons Institute March 6, 2023
  • UC Irvine Partners With Linux Foundation to Welcome New Open Source Projects from Peraton Labs to Scale 5G Security March 3, 2023
  • © 2023 UC Regents
  • Feedback
  • Privacy Policy