publication venue for Remote Power Side- Channel Attacks on FPGAs 2025 Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems 2021 Design of Mixed-Signal Systems With Asynchronous Control 2016 Guest Editors' Introduction: Challenges and Opportunities in Analog/Mixed-Signal CAD 2016
