research
∙
07/02/2023
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits
Fault injection attacks represent a type of active, physical attack agai...
share
research
∙
05/26/2023
Automated Verification of Correctness for Masked Arithmetic Programs
Masking is a widely-used effective countermeasure against power side-cha...
research
∙
03/09/2023
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation
Due to the development of pre-trained language models, automated code ge...
research
∙
01/02/2023
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications
Automatic test generation can help verify and develop the behavior of mo...
research
∙
12/12/2022
DRIVE: Dockerfile Rule Mining and Violation Detection
A Dockerfile defines a set of instructions to build Docker images, which...
research
∙
12/10/2022
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Deep learning has become a promising programming paradigm in software de...
research
∙
11/29/2022
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective
Pre-trained code generation models (PCGMs) have been widely applied in n...
research
∙
02/26/2022
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation
Recent work has shown that Just-In-Time (JIT) compilation can introduce ...
research
∙
11/08/2021
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Regular expressions are a classical concept in formal language theory. R...
research
∙
07/31/2021
Adversarial Robustness of Deep Code Comment Generation
Deep neural networks (DNNs) have shown remarkable performance in a varie...
research
∙
03/12/2021
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Verifying and explaining the behavior of neural networks is becoming inc...
research
∙
09/18/2020
Learning Safe Neural Network Controllers with Barrier Certificates
We provide a novel approach to synthesize controllers for nonlinear cont...
research
∙
07/14/2020
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Strings are widely used in programs, especially in web applications. Int...
research
∙
06/16/2020
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Side-channel attacks, which are capable of breaking secrecy via side-cha...
research
∙
06/07/2020
Finger Texture Biometric Characteristic: a Survey
In recent years, the Finger Texture (FT) has attracted considerable a...
research
∙
02/04/2020
Boosting API Recommendation with Implicit Feedback
Developers often need to use appropriate APIs to program efficiently, bu...
research
∙
05/19/2019
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences
JavaScript has become one of the most widely used languages for Web deve...
research
∙
03/03/2019
User Review-Based Change File Localization for Mobile Applications
In the current mobile app development, novel and emerging DevOps practic...
research
∙
01/28/2019
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Power side-channel attacks, which can deduce secret data via statistical...
research
∙
11/27/2018
Making Agents' Abilities Explicit
Alternating-time temporal logics (ATL/ATL*) represent a family of modal ...
research
∙
11/07/2018
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
The design and implementation of decision procedures for checking path f...
research
∙
11/02/2018
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
We identify difference-bound set constraints (DBS), an analogy of differ...
research
∙
09/15/2018
Parameter Synthesis Problems for one parametric clock Timed Automata
In this paper, we study the parameter synthesis problem for a class of p...
research
∙
11/09/2017