research
∙
09/19/2022
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Heap-manipulating programs are known to be challenging to reason about. ...
share
research
∙
02/25/2022
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest
The broad adoption of Machine Learning (ML) in security-critical fields ...
research
∙
09/24/2021
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
Ensuring the correctness of software for communication centric programs ...
research
∙
09/19/2020
Bias Field Poses a Threat to DNN-based X-Ray Recognition
The chest X-ray plays a key role in screening and diagnosis of many lung...
research
∙
09/19/2020
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception
Rain is a common phenomenon in nature and an essential factor for many d...
research
∙
08/26/2019
Automated Verification of CountDownLatch
The CountDownLatch (CDL) is a versatile concurrency mechanism that was f...
research
∙
12/16/2017