Congratulations to Andy Meza for giving the best presentation at the Real-Time and Intelligent Edge Computing Workshop co-located with the Design Automation Conference. Andy presented our research on “Safety Verification of Third-Party Hardware Modules via Information Flow Tracking” a collaborative … Continue reading
A long overdue congratulations to Dr. Peter Tueller for successfully defending his Ph.D. Peter joined our group in Fall 2016 despite me doing one of the worst recruiting jobs ever. He was doing outstanding undergraduate research to build a fleet … Continue reading
The Smartfin project was highlighted in a ThisWeek@UCSD article. The Smartfin holds a microcontroller, temperature sensor, inertial measurement unit, and wireless radio — all embedded into a surfboard fin. This allows surfers to opportunistically gather oceanographic data in the near-shore … Continue reading
Francesco Restuccia was invited to give a talk at the June 2022 edition of hardware.io — a conference dedicated towards showcasing novel hardware attacks and training the security community to defend against those attacks. Francesco’s talk details how the popular … Continue reading
One of the biggest challenges in hardware security verification is developing formal properties that can subsequently be verified by automated tools. This is a difficult and time-consuming task typically assigned to security verification engineers that must manually sort through hundreds … Continue reading
Congratulations to Olivia Weng for being awarded a National Science Foundation Graduate Research Fellowship. The NSF GRF is one of the most prestigious graduate fellowships in the US. The fellowship will fund Liv for the remainder of her PhD allowing … Continue reading
Smartfin is an oceanographic sensor–equipped surfboard fin and citizen science program aimed to provide an increase of coastal ocean observations. Smartfins are used by surfers and paddlers in surf zone and nearshore regions to provide valuable oceanographic data in these challenging to … Continue reading
Design space exploration aims to quickly determine the design parameters that yield the best results. In software, the designer must set algorithmic and performance parameters, e.g., thresholds, bounds, and other input parameters that provide the best output in terms of … Continue reading
Dr. Francesco Restuccia was awarded a UCSD CSE Postdoc Fellowship to return to UCSD to develop safe and secure system-on-chip architectures. Francesco is very familiar with UCSD (and vice versa). He spent about 9 months here as a visiting PhD … Continue reading
Amazon, Baidu, Microsoft, and other cloud providers now allow one to rent FPGAs and use them to implement powerful and efficient custom architectures for machine learning, video transcoding, encryption, networking, and other high throughput computations. Those FPGAs are large, and … Continue reading