43 citations · 50 across the 6 of their papers we have counts for
6 papers
AUTOLAW: Enhancing Legal Compliance in Large Language Models via Case Law Generation and Jury-Inspired Deliberation
Tai D. Nguyen, Long H. Pham, Jun Sun
The rapid advancement of domain-specific large language models (LLMs) in fields like law necessitates frameworks that account for nuanced regional legal distinctions, which are cri…
PrettiSmart: Visual Interpretation of Smart Contracts via Simulation
Xiaolin Wen, Tai D. Nguyen, Lun Zhang +2
Smart contracts are the fundamental components of blockchain technology. They are programs to determine cryptocurrency transactions, and are irreversible once deployed, making it c…
PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification
Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan +4
With the prevalence of smart contracts, smart Ponzi schemes have become a common fraud on blockchain and have caused significant financial loss to cryptocurrency investors in the p…
UniAdapt: A Universal Adapter for Knowledge Calibration
Tai D. Nguyen, Long H. Pham, Jun Sun
Large Language Models (LLMs) require frequent updates to correct errors and keep pace with continuously evolving knowledge in a timely and effective manner. Recent research in it m…
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Tai D. Nguyen, Long H. Pham, Jun Sun
Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institu…
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Tai D. Nguyen, Long H. Pham, Jun Sun +2
Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular p…