Rethinking the Reverse-engineering of Trojan Triggers

Deep Neural Networks are vulnerable to Trojan (or backdoor) attacks. Reverse-engineering methods can reconstruct the trigger and thus identify affected models. Existing reverse-engineering methods only consider input space constraints, e.g., trigger size in the input space. Expressly, they assume the triggers are static patterns in the input space and fail to detect models with feature space triggers such as image style transformations. We observe that both input-space and feature-space Trojans are associated with feature space hyperplanes. Based on this observation, we design a novel reverse-engineering method that exploits the feature space constraint to reverse-engineer Trojan triggers. Results on four datasets and seven different attacks demonstrate that our solution effectively defends both input-space and feature-space Trojans. It outperforms state-of-the-art reverse-engineering methods and other types of defenses in both Trojaned model detection and mitigation tasks. On average, the detection accuracy of our method is 93\%. For Trojan mitigation, our method can reduce the ASR (attack success rate) to only 0.26\% with the BA (benign accuracy) remaining nearly unchanged. Our code can be found at https://github.com/RU-System-Software-and-Security/FeatureRE

Parameter estimation for Boolean models of biological networks

Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, Polynome, offered as a web service, that helps users construct Boolean network models based on experimental data and biological input. The key feature is a discrete analog of parameter estimation for continuous models. With only experimental data as input, the software can be used as a tool for reverse-engineering of Boolean network models from experimental time course data.Comment: Web interface of the software is available at http://polymath.vbi.vt.edu/polynome

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study

Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the similiar and yet di erent functionality required by the distinct clients and users. Software Product Line Engineering (SPLE) is a software development paradigm that has proven e ective for coping with this scenario. At the core of SPLE is variability modeling which employs Feature Models (FMs) as the de facto standard to represent the combinations of features that distinguish the systems variants. Reverse engineering FMs consist in constructing a feature model from a set of products descriptions. This research area is becoming increasingly active within the SPLE community, where the problem has been addressed with di erent perspectives and approaches ranging from analysis of con guration scripts, use of propositional logic or natural language techniques, to ad hoc algorithms. In this paper, we explore the feasibility of using Evolutionary Algorithms (EAs) to synthesize FMs from the feature sets that describe the system variants. We analyzed 59 representative case studies of di erent characteristics and complexity. Our exploratory study found that FMs that denote proper supersets of the desired feature sets can be obtained with a small number of generations. However, reducing the di erences between these two sets with an e ective and scalable tness function remains an open question.We believe that this work is a rst step towards leveraging the extensive wealth of Search-Based Software Engineering techniques to address this and other variability management challenges.CICYT TIN2009- 07366Junta de Andalucía TIC-590

An assessment of search-based techniques for reverse engineering feature models

Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and to cater to their similar and different requirements. Nowadays it is a common practice to offer a system in many variants such as community, professional, or academic editions. Each variant provides different functionality described in terms of features. Software Product Line Engineering (SPLE) is an effective software development paradigm for this scenario. At the core of SPLE is variability modelling whose goal is to represent the combinations of features that distinguish the system variants using feature models, the de facto standard for such task. As SPLE practices are becoming more pervasive, reverse engineering feature models from the feature descriptions of each individual variant has become an active research subject. In this paper we evaluated, for this reverse engineering task, three standard search based techniques (evolutionary algorithms, hill climbing, and random search) with two objective functions on 74 SPLs. We compared their performance using precision and recall, and found a clear trade-off between these two metrics which we further reified into a third objective function based on Fβ, an information retrieval measure, that showed a clear performance improvement. We believe that this work sheds light on the great potential of search-based techniques for SPLE tasks.Ministerio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-186

Reverse Engineering of Mechanical Parts: a Template-Based Approach

Abstract Template-Based reverse engineering approaches represent a relatively poorly explored strategy in the field of CAD reconstruction from polygonal models. Inspired by recent works suggesting the possibility/opportunity of exploiting a parametric description (i.e. CAD template) of the object to be reconstructed in order to retrieve a meaningful digital representation, a novel reverse engineering approach for the reconstruction of CAD models starting from 3D mesh data is proposed. The reconstruction process is performed relying on a CAD template, whose feature tree and geometric constraints are defined according to the a priori information on the physical object. The CAD template is fitted upon the mesh data, optimizing its dimensional parameters and positioning/orientation by means of a particle swarm optimization algorithm. As a result, a parametric CAD model that perfectly fulfils the imposed geometric relations is produced and a feature tree, defining an associative modelling history, is available to the reverse engineer. The proposed implementation exploits a cooperation between a CAD software package (Siemens NX) and a numerical software environment (MATLAB). Five reconstruction tests, covering both synthetic and real-scanned mesh data, are presented and discussed in the manuscript; the results are finally compared with models generated by state of the art reverse engineering software and key aspects to be addressed in future work are hinted at. Highlights A novel CAD reconstruction method fitting a CAD template model to mesh data. A feature-based parametric-associative modelling history is retrieved. Fitting process is controlled by a Particle Swarm Optimization algorithm. Accuracy of reconstructed models is comparable/better than state of the art results. Computational costs and required time are at the moment considerable

Automated analysis of feature models: Quo vadis?

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances and settling the basis of the area of Automated Analysis of Feature Models (AAFM). From then on, different studies have applied the AAFM in different domains. In this paper, we provide an overview of the evolution of this field since 2010 by performing a systematic mapping study considering 423 primary sources. We found six different variability facets where the AAFM is being applied that define the tendencies: product configuration and derivation; testing and evolution; reverse engineering; multi-model variability-analysis; variability modelling and variability-intensive systems. We also confirmed that there is a lack of industrial evidence in most of the cases. Finally, we present where and when the papers have been published and who are the authors and institutions that are contributing to the field. We observed that the maturity is proven by the increment in the number of journals published along the years as well as the diversity of conferences and workshops where papers are published. We also suggest some synergies with other areas such as cloud or mobile computing among others that can motivate further research in the future.Ministerio de Economía y Competitividad TIN2015-70560-RJunta de Andalucía TIC-186

A feature-based reverse engineering system using artificial neural networks

Reverse Engineering (RE) is the process of reconstructing CAD models from scanned data of a physical part acquired using 3D scanners. RE has attracted a great deal of research interest over the last decade. However, a review of the literature reveals that most research work have focused on creation of free form surfaces from point cloud data. Representing geometry in terms of surface patches is adequate to represent positional information, but can not capture any of the higher level structure of the part. Reconstructing solid models is of importance since the resulting solid models can be directly imported into commercial solid modellers for various manufacturing activities such as process planning, integral property computation, assembly analysis, and other applications. This research discusses the novel methodology of extracting geometric features directly from a data set of 3D scanned points, which utilises the concepts of artificial neural networks (ANNs). In order to design and develop a generic feature-based RE system for prismatic parts, the following five main tasks were investigated. (1) point data processing algorithms; (2) edge detection strategies; (3) a feature recogniser using ANNs; (4) a feature extraction module; (5) a CAD model exchanger into other CAD/CAM systems via IGES. A key feature of this research is the incorporation of ANN in feature recognition. The use of ANN approach has enabled the development of a flexible feature-based RE methodology that can be trained to deal with new features. ANNs require parallel input patterns. In this research, four geometric attributes extracted from a point set are input to the ANN module for feature recognition: chain codes, convex/concave, circular/rectangular and open/closed attribute. Recognising each feature requires the determination of these attributes. New and robust algorithms are developed for determining these attributes for each of the features. This feature-based approach currently focuses on solving the feature recognition problem based on 2.5D shapes such as block pocket, step, slot, hole, and boss, which are common and crucial in mechanical engineering products. This approach is validated using a set of industrial components. The test results show that the strategy for recognising features is reliable

External sources of clean technology: evidence from the clean development mechanism

New technology is fundamental to sustainable development. However, inventors from industrialized countries often refuse technology transfer because they worry about reverse-engineering. When can clean technology transfer succeed? We develop a formal model of the political economy of North–South technology transfer. According to the model, technology transfer is possible if (1) the technology in focus has limited global commercial potential or (2) the host developing country does not have the capacity to absorb new technologies for commercial use. If both conditions fail, inventors from industrialized countries worry about the adverse competitiveness effects of reverse-engineering, so technology transfer fails. Data analysis of technology transfer in 4,894 projects implemented under the Kyoto Protocol’s Clean Development Mechanism during the 2004–2010 period provides evidence in support of the model