10 citations · 15 across the 3 of their papers we have counts for
8 papers
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…
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…