Security is widely recognized as an important property that is tightly interdependentwith safety in safety-critical systems. The goal of this thesis is to conduct case studies on the implications that security attacks may have on the safety of these systems.In these case studies, we formally model the design of a robot arm system, verify itssecurity against some potential attack scenarios, propose mitigation techniques andanalyze their effectiveness. In order to achieve a thorough knowledge about the current formal verification approaches and select a proper modeling language/tool, weconducted an extensive literature review. We performed this review following a wellknown approach proposed by Barbara Kitchenham. The procedure and outcomes ofthis review are detailed in this thesis. Based on the literature review, we chose TRebeca, (a timed extension of Rebeca), as the formal language to model the robot armsystem, attack scenarios and mitigation techniques. Rebeca is an actor-based modeling language with a Java-like syntax that is effectively used to model concurrent anddistributed systems. This language is supported by a full-featured IDE called Afra,which facilitates the development of (T)Rebeca models and verification of correctnessproperties (such as safety and security) on them. Among several functions providedby a robot arm system, we chose two important functions i.e., Stand Still Supervisionand Control Error Supervision, which we believe would be interesting for attackerstrying to get control over robot movements. In particular, attackers may maliciouslymanipulate the parameter values of these functions, which may lead to safety issues.In order to find suitable attack scenarios on these functions, we studied the mostimportant security protocols used in safety-critical industrial control systems. Weobserved that these systems are vulnerable to several attacks, and man-in-the-middleattack is among the most successful attacks on these systems. Based on this study,we devised two attack scenarios for each function and modeled them with TRebeca.To mitigate these attacks, we proposed a redundancy technique, whose effectivenesswas also assured by Afra.

Non-invasive side-channel attacks (SCAs) are potent attacks on a cryptographic circuit that can reveal its secret key without requiring lots of equipment. EM side-channel leakage is typically the derivative of the power consumption profile of a circuit. Since the fluctuations of the supply voltage strongly depend on the topology and features of the power distribution network (PDN), design of the PDN has a direct impact on EM side-channel leakage signature. In this thesis, we explore the security implications of distributed on-chip voltage regulators against EM side-channel attacks. Extensive HFSS simulations have demonstrated that the maximum EM radiation can be reduced by 33 dB and 11 dB, respectively, at the top and bottom sides of an integrated circuit through distributed on-chip voltage regulation. The primary reason is that the power is delivered locally through partially shorter and thinner metal lines as compared to off-chip implementation.

Made available in DSpace on 2016-04-26T20:23:57Z (GMT). No. of bitstreams: 1 Cleber Regian Paganelli.pdf: 1278812 bytes, checksum: cb7354985e297d63bafa31b40f2d14b8 (MD5) Previous issue date: 2015-10-20 / Labor Law and Social Security Law currently represent two autonomous fields of Legal Science, and encompass the idea of protection for the working person, especially the employee under a work contract. Labor Law is responsible for protecting labor rights, whereas Social Security Law includes a significant number of provisions, represented by benefits and services available to the employee whenever he/she is faced with the contingencies which this field of law seeks to cover. The ultimate goal of this study is to analyze the impact of social security benefits on the individual work contract. To this end, we provide a brief overview of labor concepts, especially those regarding the work contract itself. Next, we present a few established social security laws in order to allow for a better comprehension of that which is the essence of this paper, that is, the theoretical and practical implications of social security benefits of Regime Geral de Previdência Social (General Social Security System and Special Social Security) RGPS on the work contract. Among all the benefits currently provided by the RGPS, we have not touched on the issue of pension benefit due to death, neither that of the reclusion aid, as they both involve benefits for the dependents of the insured individual, and therefore do not require debates regarding work contracts. Finally, we were able to establish that the social security benefits have a greater or lesser impact on the work contract, depending on each specific benefit, as they guard against different social risks / Direito do Trabalho e Direito Previdenciário representam na atualidade dois ramos autônomos da Ciência Jurídica, e encerram a ideia de proteção à pessoa que trabalha, em especial àquele trabalhador submetido a um contrato de trabalho subordinado. O Direito do Trabalho é responsável pela garantia de direitos trabalhistas, ao passo que o Direito Previdenciário contém um rol expressivo prestações, representadas por benefícios e serviços que estão à disposição do empregado quando este estiver sujeito às contingências que este ramo do direito objetiva amparar. O propósito último desse estudo é analisar o reflexo dos benefícios previdenciários no contrato individual de trabalho. Para tanto, fez-se uma breve exposição de conceitos trabalhistas, sobretudo no que diz respeito ao próprio contrato de trabalho. Em seguida foram descritos alguns institutos do Direito Previdenciário, a fim de permitir uma melhor compressão daquilo que é a essência dessa obra, qual seja, as implicações teóricas e práticas dos benefícios previdenciários do Regime Geral de Previdência Social RGPS no contrato de trabalho. De todos os benefícios que atualmente o RGPS dispõe, não se tratou acerca da pensão por morte, nem tampouco do auxílio-reclusão, por serem benefícios destinados aos dependentes do segurado e, portanto, não demandam debates frente ao contrato de trabalho. Ao final, foi possível constatar que os benefícios previdenciários impactam em maior ou menor medida no contrato de trabalho, a depender de cada benefício em específico, haja vista que tutelam riscos sociais distintos