Four papers from the group of CROSSING-PI Prof. Ahmad-Reza Sadeghi (System Security Lab) have been accepted to the the top conferences USENIX, DAC and ICCAD.
Invited paper: Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices
Xavier Carpent; Karim Eldefrawy; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik
In: Design Automation Conference (DAC), June 2018.
LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution
Ghada Dessouky; Tigist Abera; Ahmad Ibrahim; Ahmad-Reza Sadeghi.
In: International Conference On Computer Aided Design (ICCAD), March 2018