Christophe Bobda - Hardware Isolation Mechanism for Security Improvement in System-on-Chip and Networked Systems
Protection of sensitive data in networked and embedded systems has become a critical problem with far-reaching financial and societal implications. Malicious components can be either software code planted in the memory anytime during or after system design, or hardware modules known as hardware Trojans, built into the chip at design and fabrication time to exploit system vulnerabilities. Existing defense mechanisms are static, expensive, limited and difficult to design and replicate.
Following a short introduction to research activities centered around reconfigurable systems in the SmartES Lab, the talk will address hardware-based isolation strategies for security mitigation in the broad field of connected devices and systems. This includes 1) Internet of Things (IoT) and networked embedded devices such as printers and microscopes, usually defenselessly connected to the internet, 2) flooding and vulnerability DoS attacks in networked workstations and 3) Trojans in system-on-chip. Protection of small embedded devices is achieved with an isolation and protection module (IPM), implemented either as a dedicated IP on a system-on-chip, or as a separate chip to analyze incoming and outgoing traffic for malicious activities, in a transparent way to the device under protection. Vulnerabilities in systems-on-chip are addressed with hardware sandboxes designed to shield non-trusted IPs from sensitive system resources and prevent irreversible damage. A high-level design of system on chip that incorporates hardware sandboxes is presented, along with a tool, CAPSL, for the generation of FPGA and SystemC designs.
Dr. Bobda is Professor of Computer Engineering at the University of Arkansas, in Fayetteville, AR. He received the License in mathematics from the University of Yaoundé, Cameroon in 1992, the diploma of computer science and the Ph.D. degree (Summa Cum Laude) in computer science from the University of Paderborn in Germany in 1999 and 2003 respectively. He was potsdoc at the University of Erlangen-Nuremberg from 2003 to 2005, assistant professor at the University of Kaiserslautern from 2005 to 2007 and professor at University of Potsdam from 2007 to 2010. In 2010 Dr. Bobda joined the University of Arkansas as associate professor and was promoted to full professor in 2016.
Dr. Bobda’s research has been sponsored the NSF, the AFRL, the ONR and the German DFG and has led to more than 150 publications in leading journals and conferences, citation count over 1800 and more than 10,000 downloads.
Dr. Bobda received the best dissertation award 2003 from the University of Paderborn, the test 2014 Test of Time Award SBCCI Conference, the 2012 HiPEAC Paper Award 2012 at ACM/EDAC/IEEE T DAC in 2012 and the 2011 3rd place Best Paper Awards Fifth ACM/IEEE ICDSC in 2011.
Dr. Bobda is Senior Member of the ACM and member of the IEEE, and member of the program committee of the FPL, FCCM, FPT, RAW, RSP, ERSA, RECOSOC, DRS, ICDSC. He was DATE proceedings chair from 2004 to 2010, served as reviewer in IEEE TC, IEEE TVLSI, IEEE TECS, ACM TODES, IEEE TRETS, Elsevier MicPro, Elsevier Integration VLSI. Dr. Bobda is guest editor of the Elsevier MicrPro and JSA journals and member of the editorial board of the Hindawi IJRC.