49 citations · 57 across the 4 of their papers we have counts for
5 papers
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman +1
We propose a data-driven method for synthesizing a static analyzer to detect side-channel information leaks in cryptographic software. Compared to the conventional way of manually…
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Brandon Paulsen, Jingbo Wang, Jiawei Wang +1
As neural networks make their way into safety-critical systems, where misbehavior can lead to catastrophes, there is a growing interest in certifying the equivalence of two structu…
ReluDiff: Differential Verification of Deep Neural Networks
Brandon Paulsen, Jingbo Wang, Chao Wang
As deep neural networks are increasingly being deployed in practice, their efficiency has become an important issue. While there are compression techniques for reducing the network…
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung, Chao Wang
The code generation modules inside modern compilers such as GCC and LLVM, which use a limited number of CPU registers to store a large number of program variables, may introduce si…