2022 Research Projects

Towards Robust Cross-Device Side-Channel Attacks (C)

Reverse Engineering Methodology for FPGA Bitstreams and CPSs (C)

On-Chip and Continuous Monitoring of EM Signals for Secure Microelectronics and Obfuscations (C)

Synthetic and Natural Benchmarks for Hardware Security and Trust (C)

Automated Synthesis and Validation of On-Chip Security Integrity Monitors (C)

ARIA: Additive Components for Hardware Reliability, Integrity, and Aging Monitoring (C)

Assuring Trust in CHEST Devices with Near-Optimal Data Collection and Distributed Sensors

Feedback Control of Hardware Security Countermeasures with Deep Reinforcement Learning

Security Audit Dashboard for Embedded Hardware Devices of Industrial Facilities

Playbook for Stress Testing and Resilience of Semiconductor Supply Chains

Risk-aware Detection, Prediction, and Mitigation in CPS under Cyber-Attack

Stochasticity, Polymorphism and Non-Volatility: Three Pillars of Security and Trust Intrinsic to Emerging Technologies (C)

Scalable Security Verification Framework for Digital and Analog/Mixed-Signal System-on-Chips (C)

Formal Security Evaluation of Executing Untrusted Binaries on Embedded Processors (C)

Design Obfuscation and Performance Locking Solutions for Analog/RF ICs  (C)

CAD Flow Development for Design Obfuscation through Post-Fabrication Transistor-Level Programming (TRAP) (C)

Is ARM TrustZone Trustable? (C)

Evaluating the Potential for Fully Homomorphic Encryption on Accelerator Platforms

Fingerprinting FPGA Circuits Using Communication Interfaces

Translation of Learning models into Logic for Real-Time Hardware monitoring and Security