18 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.CR2021★ 18 cited
Horizon: A Gas-Efficient, Trustless Bridge for Cross-Chain Transactions
Rongjian Lan, Ganesha Upadhyaya, Stephen Tse +1
With the rise of digital currency systems that rely on blockchain to ensure ledger security, the ability to perform cross-chain transactions is becoming a crucial interoperability…
cs.SE2020★ 2 cited
BCFA: Bespoke Control Flow Analysis for CFA at Scale
Ramanathan Ramu, Ganesha B Upadhyaya, Hoan Anh Nguyen +1
Many data-driven software engineering tasks such as discovering programming patterns, mining API specifications, etc., perform source code analysis over control flow graphs (CFGs)…