Search filters

List of works by Yu Jiang

<scp>Horus</scp> : Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures

scientific article published on 08 August 2023

AccMoS: Accelerating Model Simulation for Simulink via Code Generation

scientific article published on 07 November 2024

An Empirical Study of Data Disruption by Ransomware Attacks

scientific article published on 12 April 2024

Building Dynamic System Call Sandbox with Partial Order Analysis

scientific article published on 16 October 2023

CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing

scientific article published on 16 October 2023

CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community

scientific article published on 10 July 2024

Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs

scientific article published on 12 July 2024

Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling

scientific article published on 10 July 2024

Effectively Sanitizing Embedded Operating Systems

scientific article published on 07 November 2024

Empirical evaluation of smart contract testing: what is the best choice?

scientific article published on 08 July 2021

Enhancing ROS System Fuzzing through Callback Tracing

scientific article published on 11 September 2024

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program

scientific article published on 18 April 2024

From Offline Towards Real-Time Verification for Robot Systems

Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications

scientific article published on 10 July 2024

Imperceptible Content Poisoning in LLM-Powered Applications

scientific article published on 18 October 2024

Logos: Log Guided Fuzzing for Protocol Implementations

scientific article published on 11 September 2024

Making smart contract development more secure and easier

scientific article published on 18 August 2021

MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs

scientific article published on 23 May 2024

On the Caching Schemes to Speed Up Program Reduction

scientific article published on 05 September 2023

PPR: Pairwise Program Reduction

scientific article published on 30 November 2023

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos

scientific article published on 21 November 2023

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts

scientific article published in 2022

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios

scientific article published in 2022

PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting

scientific article published on 08 October 2024

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction

scientific article published on 06 April 2023

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

scientific article published on 19 August 2024

SCStudio: a secure and efficient integrated development environment for smart contracts

scientific article published on 08 July 2021

SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network

scientific article published on 12 April 2024

SPFuzz: Stateful Path based Parallel Fuzzing for Protocols in Autonomous Vehicles

scientific article published on 07 November 2024

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer

scientific article published on 12 April 2024

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker

scientific article published in 2021

Sepsis Patient Detection and Monitor Based on Auto-BN.

scientific article

Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors

scientific article published on 31 May 2024

T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax

scientific article published on 30 August 2024

Test Case Generation for Simulink Models using Model Fuzzing and State Solving

scientific article published on 18 October 2024

The Classification and Detection of Malware Using Soft Relevance Evaluation

scientific article published in 2022

Towards Better Semantics Exploration for Browser Fuzzing

scientific article published on 16 October 2023

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

scientific article published on 18 April 2022

When Fuzzing Meets LLMs: Challenges and Opportunities

scientific article published on 10 July 2024

Paulina is supported by:

About Paulina

Help