research
∙
06/21/2022
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
In decentralized finance (DeFi) ecosystem, lenders can offer flash loans...
share
research
∙
01/11/2022
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
Traditional public blockchain systems typically had very limited transac...
research
∙
02/22/2021
SigVM: Toward Fully Autonomous Smart Contracts
This paper presents SigVM, a novel blockchain virtual machine that suppo...
research
∙
07/02/2020
Automatic Horizontal Fusion for GPU Kernels
We present automatic horizontal fusion, a novel optimization technique t...
research
∙
06/01/2020
GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks
Initiated from Nakamoto's Bitcoin system, blockchain technology has demo...
research
∙
11/28/2019
Securing Smart Contract On The Fly
We present Solythesis, a source to source Solidity compiler which takes ...
research
∙
12/18/2018
Detecting Standard Violation Errors in Smart Contracts
We present Aloes, a new technique and system for automatically detecting...
research
∙
05/10/2018