Please use this identifier to cite or link to this item: https://hdl.handle.net/1822/59976

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorAlmeida, José Bacelarpor
dc.contributor.advisorBarbosa, Manuelpor
dc.contributor.authorMartins, Luís Henriquepor
dc.date.accessioned2019-04-11T10:29:13Z-
dc.date.available2019-04-11T10:29:13Z-
dc.date.issued2017-
dc.date.submitted2017-
dc.identifier.urihttps://hdl.handle.net/1822/59976-
dc.descriptionDissertação de mestrado integrado em Computer Sciencepor
dc.description.abstractNos últimos anos, a procura por soluções que tirem partido de um computação segura na cloud é um conceito em expansão e de grande interesse. A atratividade deste tema tem motivado a apresentação de inúmeras propostas de protocolos que tiram partido dessas características. Contudo, a grande maioria desses protocolos requerem que as funcionalidades a executar se apresentem descritos a um nível de abstração muito baixo, concretamente na forma de circuitos lógicos Booleanos. Obviamente que não é simples nem produtivo trabalhar a esse nível de abstração, pelo que surge uma necessidade de converter descrições de programas realizado numa linguagem de alto-nível nesses circuitos. Este projeto baseia-se no estudo dessa transformação, assegurando que a mesma é correta garantindo a preservação da semântica do código fonte. Para a realização desta transformação será proposto um compilador certificado, que terá a intenção de gerar descrições de circuitos Booleanos a partir de programas C. Para a produção destas descrições será tido em conta a sua eficiência de forma a melhorar a sua performance mantendo a fiabilidade do mesmo.por
dc.description.abstractOver the last years, the demand of a secure computation in the cloud has been a growing concept in which people are taking interest in. The attractiveness of his theme has been driving the arise of protocols proposals that take advantages in cloud computing characteristics. However, to solve this need the majority of these solutions require that their features to be implemented in a very low-level of abstraction, more precisely in the format of logical Boolean circuits. Clearly it is not simple, neither work productive, to implement these specifications in such a low-level of abstraction. So there is a need to transform the description of the functionality implemented in a higher level language into those circuits. This project is based on the study of this transformation, ensuring its correction and the semantic preservation of the source code. In order to perform this transformation we propose a certified compiler which will be able to generate descriptions of Boolean circuits from a C programs with certain constraints. It will be also take into account the degree of eficiency of these descriptions, keeping its correctness.por
dc.description.sponsorshipThis work was supported by the European Union Seventh Framework Program (FP7/2007-2013) under grant agreement n. 609611 (PRACTICE)por
dc.language.isoporpor
dc.rightsopenAccesspor
dc.titleGeração de descrições de computação para a cloudpor
dc.typemasterThesiseng
dc.identifier.tid202202798por
thesis.degree.grantorUniversidade do Minhopor
sdum.degree.grade15 valorespor
sdum.uoeiEscola de Engenhariapor
dc.subject.fosEngenharia e Tecnologia::Outras Engenharias e Tecnologiaspor
Appears in Collections:BUM - Dissertações de Mestrado
DI - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
Luís-Henrique-Sobral-Araújo-Martins-dissertação.pdf715,55 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID