140 citations · 224 across the 13 of their papers we have counts for
14 papers
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen +3
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer sci…
A Quantum SMT Solver for Bit-Vector Theory
Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang +1
Given a formula of satisfiability modulo theory (SMT), the classical SMT solver tries to (1) abstract as a Boolean formula , (2) find a Boolean solution to , and…
Enhancing Security Patch Identification by Capturing Structures in Commits
Bozhi Wu, Shangqing Liu, Ruitao Feng +3
With the rapid increasing number of open source software (OSS), the majority of the software vulnerabilities in the open source components are fixed silently, which leads to the de…
Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang-Wei Lin +1
Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activ…
SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices
Ruitao Feng, Jing Qiang Lim, Sen Chen +2
With the proliferation of Android malware, the demand for an effective and efficient malware detection system is on the rise. The existing device-end learning based solutions tend…
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack
Yupeng Cheng, Qing Guo, Felix Juefei-Xu +4
Image denoising can remove natural noise that widely exists in images captured by multimedia devices due to low-quality imaging sensors, unstable image transmission processes, or l…
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices
Ruitao Feng, Sen Chen, Xiaofei Xie +3
Currently, Android malware detection is mostly performed on server side against the increasing number of malware. Powerful computing resource provides more exhaustive protection fo…
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang, Yi Li, Shang-Wei Lin +3
Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. I…
The language preservation problem is undecidable for parametric event-recording automata
Étienne André, Shang-Wei Lin
Parametric timed automata (PTA) extend timed automata with unknown constants ("parameters"), at the price of undecidability of most interesting problems. The (untimed) language pre…
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin +3
Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete program…
An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
Shuanglong Kan, Zhe Chen, David Sanan +2
Rust is an emergent systems programming language highlighting memory safety by its Ownership and Borrowing System (OBS). The existing formal semantics for Rust only covers limited…
Compositional Reasoning for Shared-variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, David Sanan +4
Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoni…
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
Shang-Wei Lin, Laure Petrucci
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as…