Loading...
Search for: bazzazi--amin
1.278 seconds

    Trojan counteraction in hardware: A survey and new taxonomy

    , Article Indian Journal of Science and Technology ; Volume 9, Issue 18 , 2016 ; 09746846 (ISSN) Bazzazi, A ; Manzuri Shalmani, M. T ; Hemmatyar, A. M. A ; Sharif University of Technology
    Indian Society for Education and Environment  2016
    Abstract
    The widespread expansion of the semiconductor industry and various production phases have led to the increased importance of fabricating highly secure chips. Both in factories manufacturing and later at actual operation, digital integrated circuits (IC) might encounter a variety of hardware attacks, one type of which involves Hardware Trojans (HT). Due to their diversity, it has become a major hardware security challenge to prevent, detect and track down HTs. In this regard, the first step is to understand the taxonomy of Trojans and the current ways in which they can be encountered. For that purpose, certain classifications are required. With their downsized dimensions, the Trojans have... 

    Hardware Trojan detection and localization based on local detectors

    , Article Turkish Journal of Electrical Engineering and Computer Sciences ; Volume 26, Issue 3 , 2018 , Pages 1403-1416 ; 13000632 (ISSN) Bazzazi, A ; Manzuri Shalmani, M. T ; Hemmatyar, A. M. A ; Sharif University of Technology
    Turkiye Klinikleri Journal of Medical Sciences  2018
    Abstract
    Hardware Trojans are one of the serious threats with detrimental, irreparable effects on the functionality, security, and performance of digital integrated circuits. It is difficult to detect Trojans because of their diversity in size and performance. While the majority of current methods focus on Trojan detection during chip testing, run-time techniques can be employed to gain unique advantages. This paper proposes a method based on the online scalable detection technique, which eliminates the need for a reference chip. Involving local detectors, this technique assesses the variations in the logical values of each node to find out whether there are Trojans. This method excludes time and... 

    Hardware trojan detection based on logical testing

    , Article Journal of Electronic Testing: Theory and Applications (JETTA) ; Volume 33, Issue 4 , 2017 , Pages 381-395 ; 09238174 (ISSN) Bazzazi, A ; Manzuri Shalmani, M. T ; Hemmatyar, A. M. A ; Sharif University of Technology
    Springer New York LLC  2017
    Abstract
    In recent years, hardware Trojans (HTs) have become one of the main challenging concerns within the chain of manufacturing digital integrated circuit chips. Because of their diversity in chips, HTs are difficult to detect and locate. This paper attempted to propose a new improved method for detection and localization of HTs based on the real-time logical values of nodes. The algorithm extracts the nodes with special attributes. At the next stage, the nodes with the greatest similarity in terms of logical value are selected as targets. Depending on the size of the circuit, the extraction continues until a sufficient number of similar nodes has been selected. The logical relationship between... 

    Introducing a Simulation-Based Model to Improve the Design and Layout of Workstations Inside Airport Terminals in Iran

    , M.Sc. Thesis Sharif University of Technology Amini Esfidvajani, Amin Mohammad (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    The airport terminal is difficult to plan and design due to the different components and the intricate complexity of its parts. At the airport terminal, we face a queue system which simulation is always a good way to analyze. In addition, computer simulation using modern softwares with the capability to model different types of systems, including the airport terminal, while being less realistic than analytical models, is less costly than operational Exercise.In this study, a supportive approach for better and specific management of Iranian airport terminal buildings with discrete-event simulation is proposed, considering the need for managing the airport terminals building in the country and... 

    , M.Sc. Thesis Sharif University of Technology (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    Limited water resources in Iran have made dams an important part of the country’s infrastructure. As a result of the large number of in-progress and expected dam projects in the country, consideration of sustainability factors during planning, construction and operation phases of dam projects can create significant economical, social and environmental impacts in the long term. To come up with an inclusive sustainable development, new sustainability assessment approaches seek for sustainable development at the entire project’s life-cycle; they are looking for sustainable development at all design, construction, operation, maintenance and even demolition phases. In this research we have... 

    Hardware Trojan Detection Based on Logical Testing

    , Ph.D. Dissertation Sharif University of Technology Bazzazi, Amin (Author) ; Manzuri, Mohmmad Taghi (Supervisor) ; Hemmatyar, Ali Mohammad Afshin (Supervisor)
    Abstract
    In recent years, hardware Trojans (HTs) have become one of the main challenging concerns within the chain of manufacturing digital integrated circuit chips. Because of their diversity in chips, HTs are difficult to detect and locate. This thesis attempted to propose a new improved method for detection and localization of HTs based on the real-time logical values of nodes. The algorithm extracts the nodes with special attributes. At the next stage, the nodes with the greatest similarity in terms of logical value are selected as targets. Depending on the size of the circuit, the extraction continues until a sufficient number of similar nodes has been selected. The logical relationship between... 

    The Insider Threat: Analyzing and Modeling

    , M.Sc. Thesis Sharif University of Technology Amin, Assiabi (Author) ; Hendesi, Faramarz (Supervisor)
    Abstract
    Nowadays, most of businesses are becoming computer-based. This trend causes the organizations to become more vulnerable to internal and external threats. Internal threats are done through insiders. Insiders unlike outsiders have capabilities which aid them to easily carry out their illicit activities. Unfortunately, most of research in computer security has focused on the outsider threats, whereas the most damaging is the result of insiders’ illicit activities.This dissertation addresses three primary necessities of the research in the area of insider threat: a consistent definition of insider threat, a classification of types of insider threats, and a classification of vulnerabilities which... 

    Integrity Analysis in the Time-Delay Systems

    , M.Sc. Thesis Sharif University of Technology Eslami, Mostafa (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Integrity of closed-loop systems with integral action control is characterized by using a series of successively more difficult to obtain conditions: Integral Stabilizable (IS), Integral Controllable (IC), Integral Controllable with Integrity (ICI), and Decentralized Integral Controllability (DIC). The IS condition requires that for a Linear Time-Invariant (LTI) finitedimensional (FD) plant, G(s), one finds a stabilizing decentralized controller with integral action. For G(s) to be IC, in addition to being IS, one should be able to reduce the gain of
    all control loops by the same factor from a finite value to (but not including) zero without introducing instabilities. ICI requires that... 

    Design of a Plantwide Decentrlized Structure Controller for the Tennessee Eastman Challenge Problem

    , M.Sc. Thesis Sharif University of Technology Molamofrad, Foozhan (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    This project focuses on the Tennessee East-man challange problem(TEP) and the impact of setpoint changes and controller tunning on plant performance and profitability. TE has four major units. it is an unstable system due to the reaction within the reactor and a recycle streamcausing snow ball effect. As a result the control of this system is not easy. The study has been conducted along two main directions. First, selecting the optimal values for the setpoints and applying them in the simulation. secondly, try to find better parameter for controller in simulation. Simulation is based on working of Ricker. In TEP like the other multivariable systems, it is ameanable to use a centralized... 

    A Thesis Submitted in Partial Fulfillment of the Requirement for the Degree of Master of Science in Electrical Engineering

    , M.Sc. Thesis Sharif University of Technology Negim, Mostafa (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Intraction in multi input multi output (MIMO) system makes control of these systems difficult.There are two ways to control such systems; Centralized and Decentralized control. One way in which a centralized controller is designed is using a precompensator. With application of the pre-compensator, the MIMO sytem is decoupled into several SISO systems and one can control these seperatly. Almost all previews methods for the design of pre-compensator assume that the model of the plant containsno uncertainties.In this thesis a new method is proposed which takes into account model uncertaintes in the design of the pre-compensator.The form of the uncertainties considred an interval-parametric  

    Convex Methods for the Design of Low Order Dynamic Pre-Compensators

    , M.Sc. Thesis Sharif University of Technology Shamgah, Laya (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Decentralized control is a typical method for the design of industrial MIMO control systems. However, in most multivariable systems, the existence of large interactions limit the achievable performance of such controllers. In the Nyquist Array design method proposed by Rosenbrock, the system interactions can be reduced using a precompensator, such that a decentralized controller may be used with acceptable performance. A well designed pre-compensator will effectively decouple the system and the multivariable systems may be considered as a set of SISO systems. It is therefore obvious that the key element in the Nyquist Array design method is the design of the pre-compensator. There are two... 

    Developing a Sustainable Model for Bridge Maintenance in Big Organisations

    , M.Sc. Thesis Sharif University of Technology Alikhani, Hamed (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    For increasing longevity of a structure, it is not enough to notice only to designing aspects. In operation phase of a construction, we can increase the level of service and longevity. Asset-based Organizations, in addition to design their new assets, should maintain them. Infrastructures, such as road, bridge, dam, and water network, are important because of social and economic aspects. So they need special attention. There are efficient models for infrastructure maintenance that consider infrastructure element information, such as condition rate, weight, dimensions, deterioration rate, and cost of maintenance as inputs and give planning for maintenance in future. This planning, involves a... 

    Conditions for Integrity of Multivariable Systems with Input Saturation

    , M.Sc. Thesis Sharif University of Technology Asgharzadeh, Abbas (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Multivariable control systems as used in the industry usually contain integral action in order to improve tracking of the output with respect to step reference changes. These systems are usually subject to input saturation due to actuator or sensor nonlinearities. The aim of this work is find the conditions for the integrity concept of such multivariable system, e.g. IS, IC, ICI and DIC. First we develop the conditions on the controller gains necessary stabilize the systems and then show that these conditions can changes when one examines integrity conditions  

    Decentralized Integral Controller Design to Possess Integrity

    , M.Sc. Thesis Sharif University of Technology Sinafar, Behzad (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Design of fault tolerant controllers with a reliable and robust control structure that can accommodate sensor and actuator failure is a challenging problem. In the process control literature, the term “integrity” is used to characterize these properties for decentralized control systems. It refers to the ability to retain system stability when one or some of the control loops get in or out of service or when loop gains are detuned.Conditions pertaining to the integrity of the closed-loop system are described by a series of successively more difficult to attain criteria whose evaluation is only based on the process steady state gains. These are Integral stabilizibility (IS), Integral... 

    Disturbance Diagnosis In Plant-wide Processes

    , M.Sc. Thesis Sharif University of Technology Juyandeh, Sepideh (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    In continous chemical process, disturbances usually propagate along the process. This project describes a data-driven method for identifying the direction of propagation of disturbances using historical process data. The concept is the application of Transfer Entropy, a method based on the conditional probability density functions that measures directionality of variation. For demonstration purposes the transfer entropy method is used to isolate the root-cause of the disturbance in the Tennassee Eastman benchmark process  

    Disturbance Reduction Servo Motor Controller Design and Implementation

    , M.Sc. Thesis Sharif University of Technology Ahi, Behzad (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    The servomechanisms have wide industrial application such as robotics, Computer Numerical Control (CNC) machines, automated manufacturing and solar tracking. Several methods have already been proposed for servo motor control that the most important of them are Proportional Integral Derivative (PID), H2/H--, intelligent based controllers, and model predictive control. Problem specifications and user requirements, will determine the appropriate approach in each case. The aim of this thesis is construction of a real-life camera stabilizer to be used in the motion picture industry. Effects of base movement on the performance should be decreased by choosing appropriate sensors and control... 

    Optimization of Sparse Control Structures in Multivariable Systems

    , Ph.D. Dissertation Sharif University of Technology Babazadeh, Maryam (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    In this thesis, the optimal control structure selection and design of sparse multi-variable control systems is addressed. A fundamental challenge which frequently emerges in engineering, social, and economic sciences, is the optimal selection of a subset of elements, in order to maximally fulfil a design objective. In practice, it is required to solve this underlying selection problem in conjunction with a non-linear or non-convex optimization which is designed to ensure desired performance. The requirement to solve these two problems simultaneously is what makes it inherently difficult; one which has thus far eluded efforts to develop a systematic means of determining its solution. In spite... 

    A Neural Network Based Model for Cost Estimation of Industrial Building at the Project's Definition phase

    , M.Sc. Thesis Sharif University of Technology Shafiee, Alireza (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    Annually there are many small-scale industry projects implemented in Iran, most of which are financed by local financial institutes. The financing agreements between project owners and financial institutes are usually formed and finalized during the initiation phase and are based on feasibility studies done at the early stages; before project design and construction begin. However, in many cases actual costs of projects exceed the costs estimated in feasibility studies which have been approved by financial institutes. Limited financial resources in the country, from one side, and the lengthy process of increasing the project financing limit, from another side, cause delays in the project... 

    Sustainability Assessment of Embankment Construction

    , M.Sc. Thesis Sharif University of Technology Iravani, Pooya (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    Damming projects always have been important while construction, operation and even demolition due to their major effects on society, environment and economy. Although researchers have focused on one or a few phases of construction projects to develop sustainable infrastructures, the research community has to consider long term effects of developments too. There are a variety of such effects that ignoring them will cause construction of not convenient infrastructures i.e. air pollution and over-consumption of energy resources while construction, operation and demolition. Therefore, it is suggested to consider life cycle assessments to include all bad effects in all phases of a project. Dams... 

    Low-order Dynamic Output Feedback Controller Design via Convex Optimization

    , M.Sc. Thesis Sharif University of Technology Khakpoor, Hossein (Author) ; Nobakhti, Amin (Supervisor)
    Abstract
    Due to the prominence of low-order controllers in industry, this thesis intends to improve the common design algorithms in this field. In this regard, the main challenge is that this problem is NP-hard due to the non-convex rank constraint which appears in the formulation. The existing algorithms mostly solve this problem by obtaining a convex sub-space for this constraint and using output feedback convex optimization methods.Two of common algorithms are non-iterative. These methods two main steps; first to obtain the full-order Lyapunov matrices related to the controller, and then, to fix the null-space of the matrices which have rank constraint. One of the advantages of the algorithm...