research
∙
06/13/2022
Specifying and Testing k-Safety Properties for Machine-Learning Models
Machine-learning models are becoming increasingly prevalent in our lives...
share
research
∙
07/19/2021
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Solidity smart contracts are programs that manage up to 2^160 users on a...
research
∙
09/29/2020
Automatically Tailoring Static Analysis to Custom Usage Scenarios
In recent years, there has been significant progress in the development ...
research
∙
04/13/2020
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
Formal methods use SMT solvers extensively for deciding formula satisfia...
research
∙
02/07/2020
RAID: Randomized Adversarial-Input Detection for Neural Networks
In recent years, neural networks have become the default choice for imag...
research
∙
12/05/2019
Perfectly Parallel Fairness Certification of Neural Networks
Recently, there is growing concern that machine-learning models, which c...
research
∙
05/17/2019
Targeted Greybox Fuzzing with Static Lookahead Analysis
Automatic test generation typically aims to generate inputs that explore...
research
∙
05/15/2019
Harvey: A Greybox Fuzzer for Smart Contracts
We present Harvey, an industrial greybox fuzzer for smart contracts, whi...
research
∙
12/12/2018
Differentially Testing Soundness and Precision of Program Analyzers
In the last decades, numerous program analyzers have been developed both...
research
∙
07/20/2018
Learning Inputs in Greybox Fuzzing
Greybox fuzzing is a lightweight testing approach that effectively detec...
research
∙
07/20/2018
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Smart contracts are programs that manage digital assets according to a c...
research
∙
06/14/2017