301 citations · 1.5k across the 70 of their papers we have counts for
5 papers · 1 filter
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
G Abarajithan, Zhenghua Ma, Cristian Tirelli +4
Hardware fuzzing is an active area in security verification research, yet its industrial adoption remains in its early stages. This SoK examines which lessons from software fuzzing…
EFFEKT: Efficient Federated Knowledge Transfer to Foundation Models
Matteo Caligiuri, Francesco Barbato, Pietro Zanuttigh +1
Recent data protection laws have accelerated the adoption of Federated Learning (FL) for privacy-preserving decentralized training. Nevertheless, increasing model sizes impose subs…
Design Rules for Extreme-Edge Scientific Computing on AI Engines
Zhenghua Ma, G Abarajithan, Dimitrios Danopoulos +3
Extreme-edge scientific applications use machine learning models to analyze sensor data and make real-time decisions. Their stringent latency and throughput requirements demand sma…
FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators
G Abarajithan, Zhenghua Ma, Francesco Restuccia +1
Hardware-firmware integration is becoming a productivity bottleneck due to the increasing complexity of accelerators, characterized by intricate memory hierarchies and firmware-int…
TinySense: Effective CSI Compression for Scalable and Accurate Wi-Fi Sensing
Toan Gian, Dung T. Tran, Viet Quoc Pham +2
With the growing demand for device-free and privacy-preserving sensing solutions, Wi-Fi sensing has emerged as a promising approach for human pose estimation (HPE). However, existi…