Taolue Chen | DeepAI

DeepAI AI Chat

Featured Co-authors

Min Zhang
214 publications
Jun Zhang
202 publications
Xiangyu Zhang
153 publications
Xiang Chen
132 publications
Guang Yang
118 publications
Yu Zhou
94 publications
Jun Sun
89 publications
Yan Chen
51 publications
Zhe Zhao
30 publications
Fu Song
25 publications
Ting Su
19 publications

∙ 07/02/2023

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits

Fault injection attacks represent a type of active, physical attack agai...

0 Huiyu Tan, et al. ∙

∙ 05/26/2023

Automated Verification of Correctness for Masked Arithmetic Programs

Masking is a widely-used effective countermeasure against power side-cha...

0 Mingyang Liu, et al. ∙

∙ 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...

0 Guang Yang, et al. ∙

∙ 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...

0 Shuqi Liu, et al. ∙

∙ 12/12/2022

DRIVE: Dockerfile Rule Mining and Violation Detection

A Dockerfile defines a set of instructions to build Docker images, which...

0 Yu Zhou, et al. ∙

∙ 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...

0 Yedi Zhang, et al. ∙

∙ 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...

0 Guang Yang, et al. ∙

∙ 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 ...

0 Qi Qin, et al. ∙

∙ 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...

0 Taolue Chen, et al. ∙

∙ 07/31/2021

Adversarial Robustness of Deep Code Comment Generation

Deep neural networks (DNNs) have shown remarkable performance in a varie...

0 Yu Zhou, et al. ∙

∙ 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...

0 Yedi Zhang, et al. ∙

∙ 09/18/2020

Learning Safe Neural Network Controllers with Barrier Certificates

We provide a novel approach to synthesize controllers for nonlinear cont...

7 Hengjun Zhao, et al. ∙

∙ 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...

0 Taolue Chen, et al. ∙

∙ 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...

0 Pengfei Gao, et al. ∙

∙ 06/07/2020

Finger Texture Biometric Characteristic: a Survey

In recent years, the Finger Texture (FT) has attracted considerable a...

0 Raid R. O. Al-Nima, et al. ∙

∙ 02/04/2020

Boosting API Recommendation with Implicit Feedback

Developers often need to use appropriate APIs to program efficiently, bu...

0 Yu Zhou, et al. ∙

∙ 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...

0 Pengfei Gao, et al. ∙

∙ 03/03/2019

User Review-Based Change File Localization for Mobile Applications

In the current mobile app development, novel and emerging DevOps practic...

0 Yu Zhou, et al. ∙

∙ 01/28/2019

Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks

Power side-channel attacks, which can deduce secret data via statistical...

0 Pengfei Gao, et al. ∙

∙ 11/27/2018

Making Agents' Abilities Explicit

Alternating-time temporal logics (ATL/ATL*) represent a family of modal ...

0 Yedi Zhang, et al. ∙

∙ 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...

0 Taolue Chen, et al. ∙

∙ 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...

0 Chong Gao, et al. ∙

∙ 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...

0 Liyun Dai, et al. ∙

∙ 11/09/2017

What Is Decidable about String Constraints with the ReplaceAll Function

Recently, it was shown that any theory of strings containing the string-...

0 Taolue Chen, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world