34 citations · 103 across the 15 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CR2021★ 15 cited
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations
Tamjid Al Rahat, Yu Feng, Yuan Tian
OAuth protocols have been widely adopted to simplify user authentication and service authorization for third-party applications. However, little effort has been devoted to automati…
cs.CR2021★ 2 cited
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
Priyanka Bose, Dipanjan Das, Yanju Chen +3
This paper presents SAILFISH, a scalable system for automatically finding state-inconsistency bugs in smart contracts. To make the analysis tractable, we introduce a hybrid approac…
cs.HC2021★ 34 cited
Falx: Synthesis-Powered Visualization Authoring
Chenglong Wang, Yu Feng, Rastislav Bodik +3
Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily…