14 citations · 31 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2018
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…
cs.PL2018
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…
cs.PL2017★ 3 cited
A Permission-Dependent Type System for Secure Information Flow Analysis
Hongxu Chen, Alwen Tiu, Zhiwu Xu +1
We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information…