Adversarial Scratches: Deployable Attacks to CNN Classifiers

A growing body of work has shown that deep neural networks are susceptible to adversarial examples. These take the form of small perturbations applied to the model's input which lead to incorrect predictions. Unfortunately, most literature focuses on visually imperceivable perturbations to be applied to digital images that often are, by design, impossible to be deployed to physical targets. We present Adversarial Scratches: a novel L0 black-box attack, which takes the form of scratches in images, and which possesses much greater deployability than other state-of-the-art attacks. Adversarial Scratches leverage B\'ezier Curves to reduce the dimension of the search space and possibly constrain the attack to a specific location. We test Adversarial Scratches in several scenarios, including a publicly available API and images of traffic signs. Results show that, often, our attack achieves higher fooling rate than other deployable state-of-the-art methods, while requiring significantly fewer queries and modifying very few pixels.Comment: This paper stems from 'Scratch that! An Evolution-based Adversarial Attack against Neural Networks' for which an arXiv preprint is available at arXiv:1912.02316. Further studies led to a complete overhaul of the work, resulting in this paper. This work was submitted for review in Pattern Recognition (Elsevier

Formal Specification and Verification of Solidity Contracts with Events (Short Paper)

Events in the Solidity language provide a means of communication between the on-chain services of decentralized applications and the users of those services. Events are commonly used as an abstraction of contract execution that is relevant from the users\u27 perspective. Users must, therefore, be able to understand the meaning and trust the validity of the emitted events. This paper presents a source-level approach for the formal specification and verification of Solidity contracts with the primary focus on events. Our approach allows the specification of events in terms of the on-chain data that they track, and the predicates that define the correspondence between the blockchain state and the abstract view provided by the events. The approach is implemented in solc-verify, a modular verifier for Solidity, and we demonstrate its applicability with various examples

Behavioral simulation for smart contracts

International audienceWhile smart contracts have the potential to revolutionize many important applications like banking, trade, and supplychain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded. In this work, we propose an automated approach to verify unannotated smart contracts against specifications ascribed to a few manually-annotated contracts. In particular, we propose a notion of behavioral refinement, which implies inheritance of functional properties. Furthermore, we propose an automated approach to inductive proof, by synthesizing simulation relations on the states of related contracts. Empirically, we demonstrate that behavioral simulations can be synthesized automatically for several ubiquitous classes like tokens, auctions, and escrow, thus enabling the verification of unannotated contracts against functional specifications

Adversarial scratches: Deployable attacks to CNN classifiers

A growing body of work has shown that deep neural networks are susceptible to adversarial examples. These take the form of small perturbations applied to the model’s input which lead to incorrect predictions. Unfortunately, most literature focuses on visually imperceivable perturbations to be applied to digital images that often are, by design, impossible to be deployed to physical targets. We present Adversarial Scratches: a novel L0 black-box attack, which takes the form of scratches in images, and which possesses much greater deployability than other state-of-the-art attacks. Adversarial Scratches leverage Bézier Curves to reduce the dimension of the search space and possibly constrain the attack to a specific location. We test Adversarial Scratches in several scenarios, including a publicly available API and images of traffic signs. Results show that our attack achieves higher fooling rate than other deployable state-of-the-art methods, while requiring significantly fewer queries and modifying very few pixels

Exploring the Role of Vitamin D, Vitamin D-Dependent Proteins, and Vitamin D Receptor Gene Variation in Lung Cancer Risk

Lung cancer has an unfavorable prognosis with a rate of low overall survival, caused by the difficulty of diagnosis in the early stages and resistance to therapy. In recent years, there have been new therapies that use specific molecular targets and are effective in increasing the survival chances of advanced cancer. Therefore, it is necessary to find more specific biomarkers that can identify early changes in carcinogenesis and allow the earliest possible treatment. Vitamin D (VD) plays an important role in immunity and carcinogenesis. Furthermore, the vitamin D receptor (VDR) regulates the expression of various genes involved in the physiological functions of the human organism. The genes encoding the VDR are extremely polymorphic and vary greatly between human populations. To date, there are significant associations between VDR polymorphism and several types of cancer, but the data on the involvement of VDR polymorphism in lung cancer are still conflicting. Therefore, in this review, our aim was to investigate the relationship between VDR single-nucleotide polymorphisms in humans and the degree of risk for developing lung cancer. The studies showcased different gene polymorphisms to be associated with an increased risk of lung cancer: TaqI, ApaI, BsmI, FokI, and Cdx2. In addition, there is a strong positive correlation between VD deficiency and lung cancer development. Still, due to a lack of awareness, the assessment of VD status and VDR polymorphism is rarely considered for the prediction of lung cancer evolution and their clinical applicability, despite the fact that studies have shown the highest risk for lung cancer given by TaqI gene polymorphisms and that VDR polymorphisms are associated with more aggressive cancer evolution