Search Results for author:
Found 4 papers, 1 papers with code
Towards Scaling Robustness Verification of Semantic Features via Proof Velocity
We focus on robustness to perturbations of semantic features and introduce the concept of proof guided by velocity to scale the analysis.
Towards Physical, Imperceptible Adversarial Attacks via Adversarial Programs
We leverage ideas from program synthesis and numerical optimization to search in this large, discrete space and obtain attacks that are competitive with the C&W attack but have at least 3x and up to 10x fewer perturbed pixels.
NETWORK ROBUSTNESS TO PCA PERTURBATIONS
In this work, we take a new approach and study the robustness of networks to the inputs' semantic features.
Securify: Practical Security Analysis of Smart Contracts
To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property.
Cryptography and Security
