• “Securing Hardware for Designing Trustworthy Systems”

    DBH 4011 Donald Bren Hall, University of California, Irvine, Irvine, CA, United States

    Speaker: Prabhat Mishra Date and Time: Tuesday, August 2, 2:00 pm Location: DBH 4011 OR Zoom Link Abstract: System-on-Chip (SoC) is the brain behind computing and communication in a wide variety of embedded systems. Reusable hardware Intellectual Property (IP) based SoC design has emerged as a pervasive design practice in the industry to dramatically reduce SoC […]

  • “Electric Power to the People: Secure & Resilient Cyber-Physical Systems in the Age of Renewable Energy”

    EH 2430 Engineering Hall, University of California, Irvine, Irvine, CA, United States

    Speaker: Charalambos Konstantinou Date and Time: Friday, July 15, 10:00 am Location: EH 2430 Abstract: Rapid advancements in power electronics along with the increasing penetration of distributed energy resources (DERs) are transforming the electric power grids. Furthermore, increasing types and number of loads and electric transportation are stressing the network. Overall, the power system is facing […]

  • “Anti-virus hardware: Applications in Embedded, Automotive and Power Systems Security”

    Speaker: Kanad Basu Date and Time: Tuesday, June 7, 2:00 pm Location: Zoom https://uci.zoom.us/j/97807443602 Abstract: Anti-virus software (AVS) tools are used to detect Malware in a system. However, software-based AVS are vulnerable to attacks. A malicious entity can exploit these vulnerabilities to subvert the AVS. Recently, hardware components such as Hardware Performance Counters (HPC) have been used for Malware detection, in the form […]

  • “Runtime Monitoring of Distributed Cyber-physical Systems”

    DBH 3011 Donald Bren Hall University of California, Irve, Irvine, CA, United States

    Speaker: Borzoo Bonakdarpour Date and Time: Monday, May 23, 2022 at 2:00 pm Location: DBH 3011 Abstract:  We consider the problem of detecting violations of specification In the signal temporal logic over distributed continuous-time and continuous-valued signals in cyber-physical systems (CPS). We assume a partially synchronous setting, where a clock synchronization algorithm guarantees a bound on clock drifts […]

  • “Beyond Approximate Computing: Quality-Scalability for Low-Power Embedded Systems and Machine Learning”

    Speaker: Younghyun Kim Date and Time: Tuesday, May 17, 2022 at 2:00 p.m. Location: Zoom https://uci.zoom.us/j/98632011722 Abstract: Approximate computing is a new paradigm to accomplish energy-efficient computing in this twilight of Moore’s law by relaxing the exactness requirement of computation results for intrinsically error-resilient applications, such as deep learning and signal processing, and producing results that are “just […]

  • “Answering Multi-Dimensional Analytical Queries under Local Differential Privacy”

    Name: Tianhao Wang Date and Time: Thursday, February 27, 2020 Location: Engineering Hall 2430 Abstract: When collecting information, local differential privacy (LDP) relieves users' privacy concerns, as it adds noise to users' private information.  The LDP technique has been deployed by Google, Apple, and Microsoft for data collection and monitoring.  In this talk, I will share […]

  • “Energy-Aware Data Center Management: Monitoring Trends and Insights via Machine Learning”

    Name: Hayk Shoukourian Date and Time: Friday, November 15, 2019 Location: Donald Bren Hall 3011 Abstract: The increasing demand for online resources has led to an immense energy burden on contemporary High Performance Computing (HPC) and cloud data centers. Even though each new generation of HPC systems delivers a higher power efficiency, the growth in system […]

  • “Scalable Set-based Analysis for Verification of Cyber-Physical Systems”

    Name: Stanley Bak Date and Time: Tuesday, July 9, 2019 Location: Engineering Hall 2430 Abstract: Cyber-physical systems combine complex physics with complex software. Although these systems offer significant potential in fields such as smart grid design, autonomous robotics and medical systems, verification of CPS designs remains challenging. Model-based design permits simulations to be used to explore […]

  • “Safety Verification and Training for Learning-enabled Cyber-Physical Systems”

    Name: Jyotirmoy Vinay Deshmukh Date and Time: Tuesday, May 14, 2019 at 2:00 p.m. Location: Donald Bren Hall 4011 Abstract: With the increasing popularity of deep learning, there have been several efforts to use neural network based controllers in cyber-physical system applications. However, neural networks are equally well-known for their lack of interpretability, explainability and verifiability. […]

  • “Poly-Logarithmic Side Channel Rank Estimation via Exponential Sampling”

    Name: Liron David Date and Time: Tuesday, March 12 at 10:00 a.m. Location: Engineering Hall 5204 Abstract: Rank estimation is an important tool for a side-channel evaluations laboratories. It allows estimating the remaining security after an attack has been performed, quantified as the time complexity and the memory consumption required to brute force the key […]

  •  Partial logic synthesis and its application to automatic generation of parallel/distributed algorithms

    Name: Masahiro Fujita Date and Time: Thursday, January 14 at 3:00 p.m. Location:Engineering Hall 3206 Abstract: In this talk first we review the partial logic synthesis problem and its associated algorithm based on QBF (Quantified Boolean Formula) formulation. Partial logic synthesis is to generate appropriate sub-circuits for the missing portions in the target design so that the entire […]

  • Accelerated Computing for Edge-Centric IoT

    Name: Tulika Mitra Date and Time: Monday, November 5 at 2:00 p.m. - 3:00 p.m. Location: Donald Bren Hall 3011 Abstract: Internet of Things (IoT), an ever-growing network of billions of devices embedded within physical objects, is revolutionizing our daily life. The IoT devices in the edge are primarily responsible only for collecting and communicating the data […]