Recent News
Two papers accepted at DAC’20.
Our TrojDRL work appears in Wired today! We thank Will Knight and Wired Magazine for the coverage.
https://www.wired.com/story/tainted-data-teach-algorithms-wrong-lessons/
New paper accepted at DATE 2020
Paper on Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus accepted at DATE'20. Congratulations Kacper!
New NSF CPS Project with Roberto Tron and Cristina Nita-Rotaru
Securing multi-agent systems through physical cognition and control synthesis:
- Project website: http://sites.bu.edu/securingmas/
- NSF Award: https://nsf.gov/awardsearch/showAward?AWD_ID=1932162
New ONR Project with Qi Zhu and Hyoseung Kim
This project will develop the foundations of a cross-layer paradigm for building adaptive, dependable and secure systems under weakly-hard real-time constraints.
Invited to serve on the TPC of DAC 2020
Invited to serve on the TPC of TACAS 2020
Invited to serve on the TPC of DATE 2020
Invited to serve on the TPC of HSCC 2020
Organizing a special session with Jyo Deshmukh on “Safe Autonomy” at ICCAD 2019.
Four exciting talks from industry and academia on the topic of safety assurance of autonomous systems using formal reasoning: https://iccad.com/event_details?id=283-7-A!