Encontrados 8 documentos, a visualizar página 1 de 1
Formal verification of side-channel countermeasures using self-composition
Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraFormal verification of cryptographic software implementations poses significant challenges for off-the-shelf tools. This is due to the domain-specific characteristics of the code, involving aggressive optimizations and non-functional security requirements, namely the critical aspect of countermeasures against side-channel attacks. In this paper, we extend previous results supporting the practicality of self-com...
Formal verification of cryptographic software implementations
Vieira, BárbaraTese de doutoramento em Informática ; Security is notoriously difficult to sell as a feature in software products. In addition to meeting a set of security requirements, cryptographic software has to be cheap, fast, and use little resources. The development of cryptographic software is an area with specific needs in terms of software development processes and tools. In this thesis we explore how formal techniq...
Formal verification of side channel countermeasures using self-composition
Almeida, José Bacelar; Barbosa, Manuel Bernardo; Pinto, Jorge Sousa; Vieira, BárbaraFormal verification of cryptographic software implementations poses significant challenges for off-the-shelf tools. This is due to the domain-specific characteristics of the code, involving aggressive optimisations and non-functional security requirements, namely the critical aspect of countermeasures against side-channel attacks. In this paper we extend previous results supporting the practicality of self-comp...
Determinação simultânea das vitaminas do complexo B em carne de bovino por HPLC
Vieira, Bárbara Daniela Tavares NeivaMestrado em Engenharia Alimentar - Instituto Superior de Agronomia ; The main objective of this study was the simultaneous determination of vitamins B1, B2, B3, B5, B6, B9 and B12 in beef, using a simple and rapid HPLC method. Several tests were conducted in order to optimize the extraction technique and the chromatographic conditions for an effective determination of those vitamins. After the optimization of ...
A deductive verification platform for cryptographic software
Barbosa, Manuel Bernardo; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, BárbaraIn this paper we describe a deductive verification platform for the CAO language. CAO is a domain-specific language for cryptography. We show that this language presents interesting challenges for formal verification, not only in the rich mathematical type system that it introduces, but also in the cryptography-oriented language constructions that it offers. We describe how we tackle these problems, and also de...
Deductive verification of cryptographic software
Almeida, José Bacelar; Barbosa, Manuel Bernardo; Pinto, Jorge Sousa; Vieira, BárbaraWe apply state-of-the art deductive verification tools to check security-relevant properties of cryptographic software, including safety, absence of error propagation, and correctness with respect to reference implementations. We also develop techniques to help us in our task, focusing on methods oriented towards increased levels of automation, in scenarios where there are clear obvious limits to such automatio...
Verifying cryptographic software correctness with respect to reference implemen...
Almeida, José Bacelar; Barbosa, Manuel Bernardo; Pinto, Jorge Sousa; Vieira, BárbaraThis paper presents techniques developed to check program equivalences in the context of cryptographic software development, where specifications are typically reference implementations. The techniques allow for the integration of interactive proof techniques (required given the difficulty and generality of the results sought) in a verification infrastructure that is capable of discharging many verification con...
Análise das pressões de balonetes em diferentes angulações da cabeceira do leit...
Ono,Fabiane Coelho; Andrade,Ana Paula Alves de; Cardoso,Flávia Perassa de Faria; Melo,Maria do Horto Obes de; Souza,Renata da NóbregaOBJETIVOS: A correta insuflação do balonete permite ventilação adequada, além de ser uma das formas de prevenção de pneumonia aspirativa bem como de diversas complicações traqueais. O objetivo deste estudo foi avaliar as pressões de balonetes dos tubos traqueais e/ou cânulas de traqueostomia nas angulações de zero, 30 e 60 graus de inclinação da cabeceira do leito de pacientes internados em unidades de terapia ...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||