43 citations · 54 across the 8 of their papers we have counts for
8 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…
ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation
Jingnan Zheng, Han Wang, An Zhang +3
Large Language Models (LLMs) can elicit unintended and even harmful content when misaligned with human values, posing severe risks to users and society. To mitigate these risks, cu…
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
Tai D. Nguyen, Long H. Pham, Jun Sun
Fuzzing has emerged as a powerful technique for finding security bugs in complicated real-world applications. American fuzzy lop (AFL), a leading fuzzing tool, has demonstrated its…
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…