• 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

  • Mohsen Imani Receives DARPA Young Faculty Award September 18, 2023
  • New Findings on CAPTCHAs Attract Worldwide Attention September 13, 2023
  • ICS Summer Academy 2023: An ‘Incredible’ College Experience for High School Students September 12, 2023
  • NPR: “Armed with traffic cones, protesters are immobilizing driverless cars” (CS Ph.D. candidate Ziwen Wan quoted) August 29, 2023
  • Alumni Spotlight: From Cancer to Climate Change, Peter Sadowski Applies Machine Learning to Address Real-World Problems August 28, 2023
  • © 2023 UC Regents
  • Feedback
  • Privacy Policy