research
∙
12/11/2022
Understanding Concurrency Vulnerabilities in Linux Kernel
While there is a large body of work on analyzing concurrency related sof...
share
research
∙
10/08/2022
Detaching and Boosting: Dual Engine for Scale-Invariant Self-Supervised Monocular Depth Estimation
Monocular depth estimation (MDE) in the self-supervised scenario has eme...
research
∙
11/09/2020
Real-time Locational Marginal Price Forecasting Using Generative Adversarial Network
In this paper, we propose a model-free unsupervised learning approach to...
research
∙
03/20/2020
Predicting Real-Time Locational Marginal Prices: A GAN-Based Video Prediction Approach
In this paper, we propose an unsupervised data-driven approach to predic...
research
∙
11/04/2019
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
CPU cache is limited but crucial storage on modern processor whereas the...
research
∙
08/15/2019
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Cyber-physical systems are often safety-critical in that violations of s...
research
∙
07/27/2019
G-flocking: Flocking Model Optimization based on Genetic Framework
Flocking model has been widely used to control robotic swarm. However, w...
research
∙
04/25/2019
Abstract Interpretation under Speculative Execution
Analyzing the behavior of a program running on a processor that supports...
research
∙
07/09/2018
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
The timing characteristics of cache, a high-speed storage between the fa...
research
∙
07/03/2018
Building a Controlled Vocabulary for Standardizing Precision Medicine Terms
Rapid advances of technology and development of research in precision me...
research
∙
06/06/2018