Security through Obscurity: Layout Obfuscation of Digital Integrated Circuits using Don't Care Conditions

Contemporary integrated circuits are designed and manufactured in a globalized environment leading to concerns of piracy, overproduction and counterfeiting. One class of techniques to combat these threats is circuit obfuscation which seeks to modify the gate-level (or structural) description of a circuit without affecting its functionality in order to increase the complexity and cost of reverse engineering. Most of the existing circuit obfuscation methods are based on the insertion of additional logic (called “key gates”) or camouflaging existing gates in order to make it difficult for a malicious user to get the complete layout information without extensive computations to determine key-gate values. However, when the netlist or the circuit layout, although camouflaged, is available to the attacker, he/she can use advanced logic analysis and circuit simulation tools and Boolean SAT solvers to reveal the unknown gate-level information without exhaustively trying all the input vectors, thus bringing down the complexity of reverse engineering. To counter this problem, some ‘provably secure’ logic encryption algorithms that emphasize methodical selection of camouflaged gates have been proposed previously in literature [1,2,3]. The contribution of this paper is the creation and simulation of a new layout obfuscation method that uses don't care conditions. We also present proof-of-concept of a new functional or logic obfuscation technique that not only conceals, but modifies the circuit functionality in addition to the gate-level description, and can be implemented automatically during the design process. Our layout obfuscation technique utilizes don’t care conditions (namely, Observability and Satisfiability Don’t Cares) inherent in the circuit to camouflage selected gates and modify sub-circuit functionality while meeting the overall circuit specification. Here, camouflaging or obfuscating a gate means replacing the candidate gate by a 4X1 Multiplexer which can be configured to perform all possible 2-input/ 1-output functions as proposed by Bao et al. [4]. It is important to emphasize that our approach not only obfuscates but alters sub-circuit level functionality in an attempt to make IP piracy difficult. The choice of gates to obfuscate determines the effort required to reverse engineer or brute force the design. As such, we propose a method of camouflaged gate selection based on the intersection of output logic cones. By choosing these candidate gates methodically, the complexity of reverse engineering can be made exponential, thus making it computationally very expensive to determine the true circuit functionality. We propose several heuristic algorithms to maximize the RE complexity based on don’t care based obfuscation and methodical gate selection. Thus, the goal of protecting the design IP from malicious end-users is achieved. It also makes it significantly harder for rogue elements in the supply chain to use, copy or replicate the same design with a different logic. We analyze the reverse engineering complexity by applying our obfuscation algorithm on ISCAS-85 benchmarks. Our experimental results indicate that significant reverse engineering complexity can be achieved at minimal design overhead (average area overhead for the proposed layout obfuscation methods is 5.51% and average delay overhead is about 7.732%). We discuss the strengths and limitations of our approach and suggest directions that may lead to improved logic encryption algorithms in the future. References: [1] R. Chakraborty and S. Bhunia, “HARPOON: An Obfuscation-Based SoC Design Methodology for Hardware Protection,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 10, pp. 1493–1502, 2009. [2] J. A. Roy, F. Koushanfar, and I. L. Markov, “EPIC: Ending Piracy of Integrated Circuits,” in 2008 Design, Automation and Test in Europe, 2008, pp. 1069–1074. [3] J. Rajendran, M. Sam, O. Sinanoglu, and R. Karri, “Security Analysis of Integrated Circuit Camouflaging,” ACM Conference on Computer Communications and Security, 2013. [4] Bao Liu, Wang, B., "Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks,"Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 , vol., no., pp.1,6, 24-28 March 2014.

Fatores de sucesso na implementação de sistemas integrados de gestão empresarial (ERP): estudo de caso em uma média empresa

RAMOS, A. S. M.; OLIVEIRA, M. A. Fatores de sucesso na implementação de sistemas integrados de gestão empresarial (ERP): estudo de caso em uma média empresa. In: ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇÂO, 22., 2002, Curitiba-PR. Anais... Porto Alegre-RS: ABEPRO, 2002. v. 1.

Layout, conforto e satisfação dos usuários em escritórios: uma avaliação pós-ocupação no edifício da sede administrativa do INPE-CRN

This research aimed to identify the link between the layout of workspaces in offices and the design strategies for environmental comfort. Strategies surveyed were focused on the thermal, visual and luminic comfort. In this research, visual comfort is related to issues of visual integration within and between the interior and exterior of the building. This is a case study conducted at the administrative headquarters of Centro Regional Nordeste do Instituto de Pesquisas Espaciais (INPE-CRN), located in Natal/RN. The methodological strategy used was the Post-Occupancy Evaluation, which combined the survey data on the building (layout of workspaces, bioclimatic strategies adopted in the design, use of these strategies) with some techniques aimed at acquiring qualitative information related to users. The workspace layout is primordial to satisfaction and productivity of workers. Issues such as concentration, communication, privacy, personal identity, density and space efficiency, barriers (access, visual and even ventilation and lighting), among others, are associated with the layout. The environmental comfort is one of the essential elements to maintaining life quality in workplace. Moreover, it is an important factor in user`s perception of the space in which he or she are inserted. Both layout and environmental comfort issues should be collected and analyzed in the establishment phase of the programming step. That way, it is possible to get adequate answers to these questions in subsequent project phases. It was found that changes in the program that occurred over time, especially concerning persons (number and characteristics), resulted in changes in layout, generating high density and inflexible environments. It turns difficult to adjust the furniture to the occupants` requirement, including comfort needs. However, the presence of strategies for environmental quality provides comfort to spaces, ensuring that, even in situations not considered optimal, users perceive the environment in a positive way. It was found that the relationship between environmental comfort and layout takes the following forms: in changing the perception of comfort, depending on the layout of the arrangements; adjustments in layout, due to needs for comfort; and the elevation of user satisfaction and environmental quality due to the presence of strategies comfort even in situations of inadequate layout

Matemática em atividades interdisciplinares: uma base para a estruturação dos seminários integrados

A partir do ano de 2012, lança-se uma proposta de reestruturação no Ensino Mé- dio no Estado do Rio Grande do Sul. Surge nessa proposta um elemento novo na grade curricular chamado de Seminário Integrado. Esse tem por objetivo aliar a formação geral à parte diversificada do currículo através de um planejamento interdisciplinar voltado à pesquisa. Diante desse cenário surge a motivação para elaborar esse trabalho, nele apresenta-se quatro atividades interdisciplinares relacionando a matemática com outras disciplinas. Nossa proposta é que essas atividades possam servir como uma possível base para elaboração e/ou estruturação de atividades nos Seminários Integrados. Junto com cada atividade apresentamos uma proposta de pesquisa relacionada à prática social, bem como em quais sentidos essas atividades poderão preparar o jovem para ser inserido no mercado de trabalho. O material elaborado pelos professores envolvidos e a escolha dos métodos de ensino utilizados são subsidiados por uma pesquisa bibliográfica que fizemos a respeito do tema interdisciplinaridade. As atividades elaboradas foram aplicadas em duas turmas de terceiro ano do Ensino Médio, em uma escola particular na cidade de Pelotas, Rio Grande do Sul. Apresentamos alguns dados que consideramos relevantes em termos de resultados relacionados ao ganho pedagógico.

'Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem'

During our earlier research, it was recognised that in order to be successful with an indirect genetic algorithm approach using a decoder, the decoder has to strike a balance between being an optimiser in its own right and finding feasible solutions. Previously this balance was achieved manually. Here we extend this by presenting an automated approach where the genetic algorithm itself, simultaneously to solving the problem, sets weights to balance the components out. Subsequently we were able to solve a complex and non-linear scheduling problem better than with a standard direct genetic algorithm implementation.

Projeto, implementação e análise de um conversor CC-CC de alto ganho e alto rendimento para aplicações fotovoltaicas

In recent years the photovoltaic generation has had greater insertion in the energy mix of the most developed countries, growing at annual rates of over 30%. The pressure for the reduction of pollutant emissions, diversification of the energy mix and the drop in prices are the main factors driving this growth. Grid tied systems plays an important role in alleviating the energy crisis and diversification of energy sources. Among the grid tied systems, building integrated photovoltaic systems suffers from partial shading of the photovoltaic modules and consequently the energy yield is reduced. In such cases, classical forms of modules connection do not produce good results and new techniques have been developed to increase the amount of energy produced by a set of modules. In the parallel connection technique of photovoltaic modules, a high voltage gain DC-DC converter is required, which is relatively complex to build with high efficiency. The current-fed isolated converters explored in this work have some desirable characteristics for this type of application, such as: low input current ripple and input voltage ripple, high voltage gain, galvanic isolation, feature high power capacity and it achieve soft switching in a wide operating range. This study presents contributions to the study of a high gain and high efficiency DC-DC converter for use in a parallel system of photovoltaic generation, being possible the use in a microinverter or with central inverter. The main contributions of this work are: analysis of the active clamping circuit operation proposing that the clamp capacitor connection must be done on the negative node of the power supply to reduce the input current ripple and thus reduce the filter requirements; use of a voltage doubler in the output rectifier to reduce the number of components and to extend the gain of the converter; detailed study of the converter components in order to raise the efficiency; obtaining the AC equivalent model and control system design. As a result, a DC-DC converter with high gain, high efficiency and without electrolytic capacitors in the power stage was developed. In the final part of this work the DC-DC converter operation connected to an inverter is presented. Besides, the DC bus controller is designed and are implemented two maximum power point tracking algorithms. Experimental results of full system operation connected to an emulator and subsequently to a real photovoltaic module are also given.

Evaluating Invariances in Document Layout Functions

With the development of variable-data-driven digital presses - where each document printed is potentially unique - there is a need for pre-press optimization to identify material that is invariant from document to document. In this way rasterisation can be confined solely to those areas which change between successive documents thereby alleviating a potential performance bottleneck. Given a template document specified in terms of layout functions, where actual data is bound at the last possible moment before printing, we look at deriving and exploiting the invariant properties of layout functions from their formal specifications. We propose future work on generic extraction of invariance from such properties for certain classes of layout functions.

Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem

During our earlier research, it was recognised that in order to be successful with an indirect genetic algorithm approach using a decoder, the decoder has to strike a balance between being an optimiser in its own right and finding feasible solutions. Previously this balance was achieved manually. Here we extend this by presenting an automated approach where the genetic algorithm itself, simultaneously to solving the problem, sets weights to balance the components out. Subsequently we were able to solve a complex and non-linear scheduling problem better than with a standard direct genetic algorithm implementation.

'Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem'

During our earlier research, it was recognised that in order to be successful with an indirect genetic algorithm approach using a decoder, the decoder has to strike a balance between being an optimiser in its own right and finding feasible solutions. Previously this balance was achieved manually. Here we extend this by presenting an automated approach where the genetic algorithm itself, simultaneously to solving the problem, sets weights to balance the components out. Subsequently we were able to solve a complex and non-linear scheduling problem better than with a standard direct genetic algorithm implementation.

Construção das capacidades organizacionais de tecnologia da informação no contexto dos sistemas institucionais integrados de gestão da UFRN

The IT capability is a organizational ability to perform activities of this role more effectively and an important mechanism in creating value. Its building process (stages of creation and development) occurs through management initiatives for improvement in the performance of their activities, using human resources and IT assets complementary responsible for the evolution of their organizational routines. This research deals with the IT capabilities related to SIG (integrated institutional management systems), built and deployed in UFRN (Universidade Federal do Rio Grande do Norte) to realization and control of administrative, academic and human resources activities. Since 2009, through cooperative agreements with federal and educational institutions of direct administration, UFRN has supported the implementation of these systems, currently involving more than 30 institutions. The present study aims to understand how IT capabilities, relevant in the design, implementation and dissemination of SIG, were built over time. This is a single case study of qualitative and longitudinal nature, performed by capturing, coding and analysis from secondary data and from semi-structured interviews conducted primarily with members of Superintenência de Informática, organizational unit responsible for SIG systems in UFRN. As a result, the technical, of internal relationship and external cooperation capabilities were identified as relevant in the successful trajectory of SIG systems, which have evolved in different ways. The technical capacity, initiated in 2004, toured the stages of creation and development until it reached the stage of stability in 2013, due to technological limits. Regarding the internal relationship capability, begun in 2006, it toured the stages of creation and development, having extended its scope of activities in 2009, being in development since then. Unlike the standard life cycle observed in the literature, the external cooperation capability was initiated by an intensity of initiatives and developments in the routines in 2009, which were decreasing to cease in 2013 in order to stabilize the technological infrastructure already created for cooperative institutions. It was still identified the start of cooperation in 2009 as an important event selection, responsible for changing or creating trajectories of evolution in all three capacities. The most frequent improvements initiatives were of organizational nature and the internal planning activity has been transformed over the routines of the three capabilities. Important resources and complementary assets have been identified as important for the realization of initiatives, such as human resources technical knowledge to the technical capabilities and external cooperation, and business knowledge, for all of them, as well as IT assets: the iproject application for control of development processes, and the document repository wiki. All these resources and complementary assets grew along the capacities, demonstrating its strategic value to SINFO/UFRN

Vinculação do Adulto e Sistema Comportamental de Prestação de Cuidados em Toxicodependentes integrados em Comunidade Terapêutica e em Programa de Metadona

Dissertação de Mestrado apresentada no Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Clínica

Manual de prácticas de laboratorio. Análisis de circuitos 1

Este libro está dirigido a estudiantes que toman su primer curso de Ingeniería Electrónica, Ingeniería de Telecomunicaciones o programas en el campo de los circuitos resistivos. Desde el conocimiento del código de colores de los resistores, pasando por los circuitos serie, paralelo y mixto; el manejo de instrumentos de medida como multímetro en función de óhmetro, voltímetro y amperímetro; el osciloscopio y el generador de señales, son algunos de los temas que se desarrollan en el presente manual.

Os sistemas integrados de gestão na Administração Pública : Estratégias de desenvolvimento e reorientação organizacional. Estudo de um caso

Os Organismos públicos encontram-se, actualmente, a desenvolver estudos a nível dos Sistemas Integrados de Gestão, motivados pela necessidade que existe em adoptar novas técnicas de Gestão capazes de responder às novas exigências de informação. Em termos gerais, os Organismos públicos encontram-se numa fase de viragem na sua actuação, em que surge a necessidade de dispor de novos sistemas de informação capazes de dar resposta às exigências da Nova Gestão Pública. É certo que a Nova Gestão Pública conduz a uma maior motivação, proporcionando uma melhoria na obtenção dos resultados e modernizando a relação entre o controlo das despesas públicas e a prestação de contas a nível dos órgãos do Estado, e onde a uniformização de critérios se apresenta como um dos principais requisitos para criar condições de implementação de uma contabilidade pública que funcione como instrumento de apoio aos utilizadores da informação e, em particular, aos Órgãos de Chefia e Direcção. Este trabalho analisa o caso do Exército Português, como exemplo de um Organismo público que aproveitou a obrigatoriedade de adesão ao novo Regime de Administração Financeira do Estado, para promover a implementação de um Sistema Integrado de Gestão capaz de responder às novas exigências de informação. Analisam-se também as estratégias de actuação e reorientação organizacional utilizadas pelo Exército Português, de modo a permitir o desenvolvimento e implementação do sistema baseado na uniformização de critérios que garanta os requisitos e as técnicas de Gestão capazes de criar condições para desenvolver uma contabilidade pública que funcione como instrumento de apoio à decisão. ABSTRACT; At present, government entities are developing studies at an Integrated Management System level, impelled by the actual need of adopting new Management techniques capable of responding to the new demands regarding Information. ln global terms, government entities are reaching a turning point in its way of acting, due to the arising need of settling new information systems which provide an answer to the demands of the New Public Management. It is assured that the New Public Management leads to a higher motivation, providing an improvement in accomplishing results and modernizing the link between the control of public expenditure and presenting accounts of State Organs. It also presents the criteria standards as one of the main requirements to create implementation conditions of a public accounting which operates as a support mean to the information users and, more specifically, to the Command and Boarding Bodies. This study analyses the Portuguese Army, an example of government entity which seized the obligation of joining the New Public Financial Management Regime to promote the implementation of an Integrated Management System capable of responding to the new information demands. The performing strategies and organizational refocus used by the Portuguese Army are also analyzed in order to allow the development and implementation of the system. It is based in the standard criteria that secure the requirements and Management techniques which enable the progress of a public accounting acting as a support resource in decision-making.