1646392

video

Visible to the public Support for Security and Safety of Programmable IoT Systems

Submitted by Atul Prakash on Wed, 05/20/2020 - 12:37pm
file

Visible to the public Support for security and safety of programmable IoT systems

Submitted by Darko Marinov on Tue, 01/22/2019 - 7:02pm. Contributors:

This project is a collaborative grant involving the University of Michigan (Award number CNS-1646392) and the University of Illinois at Urbana-Champaign (Award number CNS-1646305).

biblio

Visible to the public Securing Personal IoT Platforms Through Systematic Analysis and Design

Submitted by el_wehby on Fri, 05/25/2018 - 4:07pm
biblio

Visible to the public Proactively Detecting Unreliable Tests

Submitted by el_wehby on Fri, 05/25/2018 - 4:07pm
biblio

Visible to the public Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Submitted by el_wehby on Fri, 05/25/2018 - 4:07pm