research
∙
08/07/2023
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation
Boolean satisfiability (SAT) solving is a fundamental problem in compute...
share
research
∙
03/16/2023
A Quantum SMT Solver for Bit-Vector Theory
Given a formula F of satisfiability modulo theory (SMT), the classical S...
research
∙
07/19/2022
Enhancing Security Patch Identification by Capturing Structures in Commits
With the rapid increasing number of open source software (OSS), the majo...
research
∙
11/10/2020
SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices
With the proliferation of Android malware, the demand for an effective a...
research
∙
09/19/2020
Adversarial Exposure Attack on Diabetic Retinopathy Imagery
Diabetic retinopathy (DR) is a leading cause of vision loss in the world...
research
∙
08/06/2020
A Survey of Smart Contract Formal Specification and Verification
A smart contract is a computer program which allows users to define and ...
research
∙
07/14/2020
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack
Image denoising techniques have been widely employed in multimedia devic...
research
∙
05/11/2020
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices
Currently, Android malware detection is mostly performed on the server s...
research
∙
09/14/2019
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Despite the high stakes involved in smart contracts, they are often deve...
research
∙
04/17/2018
K-Rust: An Executable Formal Semantics for Rust
Rust is a system programming language designed for providing better memo...
research
∙
04/04/2018