The DSpace digital repository system captures, stores, indexes, preserves, and distributes digital research material. http://repositorium.sdum.uminho.pt:80 2012-05-21T04:02:07Z 2012-05-21T04:02:07Z Almeida, José Bacelar Bangerter, Endre Barbosa, Manuel Bernardo Krenn, Stephan Sadeghi, Ahmad-Reza Schneider, Thomas http://hdl.handle.net/1822/19403 2012-05-19T00:13:28Z 2012-05-18T15:01:42Z

Title: A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols Authors: Almeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel Bernardo; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, Thomas Abstract: Zero-knowledge proofs of knowledge (ZK-PoK) are important building blocks for numerous cryptographic applications. Although ZK-PoK have a high potential impact, their real world deployment is typically hindered by their significant complexity compared to other (non-interactive) crypto primitives. Moreover, their design and implementation are time-consuming and error-prone. We contribute to overcoming these challenges as follows: We present a comprehensive specification language and a compiler for ZK-PoK protocols based on Σ-protocols. The compiler allows the fully automatic translation of an abstract description of a proof goal into an executable implementation. Moreover, the compiler overcomes various restrictions of previous approaches, e.g., it supports the important class of exponentiation homomorphisms with hidden-order co-domain, needed for privacy-preserving applications such as DAA. Finally, our compiler is certifying, in the sense that it automatically produces a formal proof of the soundness of the compiled protocol for a large class of protocols using the Isabelle/HOL theorem prover.

2012-05-18T15:01:42Z Silva, Maria Isabel Lago da http://hdl.handle.net/1822/19402 2012-05-19T00:13:25Z 2012-05-18T14:57:25Z

Title: A folha de cálculo como mediador da comunicação matemática : uma experiência pedagógica com uma aluna deficiente visual Authors: Silva, Maria Isabel Lago da Abstract: A inclusão de alunos com Necessidades Educativas Especiais faz parte da realidade escolar atual, no entanto, é o resultado de um caminho que tem sido construído ao longo do tempo. Esta situação pairou na Unidade Curricular Estágio Profissional, integrado no Mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário, que decorreu no 2.º ano do Ciclo de Estudos, conducente ao grau de Mestre em Ensino, dado que uma das turmas do orientador cooperante integra uma aluna com deficiência visual profunda. A turma em causa era da disciplina de Matemática Aplicada às Ciências Sociais (MACS), do 10.º ano de escolaridade. No particular tema aqui proposto, pretende-se focar a importância da comunicação matemática com a aluna deficiente visual recorrendo à folha de cálculo, mais especificamente o Excel. A escolha do Excel prendeu-se com o facto de ser de fácil acesso, tando nos computadores disponíveis na escola como no portátil que utilizou nas aulas de MACS e nas sessões semanais para apoio à disciplina de MACS, e de oferecer um conjunto de ferramentas para análise de dados Estatísticos, dado que o programa de MACS do 10.º ano tem uma grande componente de Estatística. Neste sentido, procurou-se uma melhor utilização deste recurso, criando estratégias para a seleção e organização da informação, utilização das fórmulas automáticas e criação de pequenos programas para colmatar as deficiências de fórmulas, podendo a aluna tirar o máximo partido na utilização deste programa. No caso específico da disciplina de MACS, revelou-se ainda necessário efetuar materiais táteis adaptados para melhor perceção da informação. Os dados recolhidos para o presente trabalho basearam-se essencialmente no registo, em diário de campo, da atividade da aluna (resoluções de tarefas, estratégias utilizadas, as dificuldades, etc.), na recolha das resoluções das tarefas efetuadas na folha de cálculo, assim como em gravações de sessões individuais. O presente trabalhou demonstrou-se particularmente importante no sentido que permitiu desenvolver a comunicação e a autonomia da aluna deficiente visual.; The inclusion of special needs students it’s a reality in our day schools, however, it’s the result of a long way that has been growing in time. This situation has been present on professional training course, included on the master’s degree of math´s teaching in the 3rd cycle of basic education and secondary education that happened in the 2nd grade of the studies cycle, leading to the degree of Master of Education since one of the classes of the teacher cooperating has a visually impaired. This class was of the discipline of Social Sciences Math’s, of the 10th grade of education. In this particular case, the focus was the importance of the math’s communication with the visual handicapped student, using the calculation sheet, the Excel. The choice of the Excel sheet was because of the easy access, by using the school computers or using the portable computer of her own, that the student used in classroom and on the weekly support sessions, and by the fact that offers several tools to work the statistical data treatment and analysis, hence the MACS program of the 10th grade dedicate a lot of contents of Statistical matters. In this sense, the proposal was to find the best way to use this tool, creating strategies for the data selection and organization, use of macros or the creation of simple programs to solve this lack. It was also necessary create tactile materials, adjusted to the specific condition of the student, for better perception of the information. The results of this investigation were obtained using registration, field registration of the student activities (tasks resolution, kind of strategies applied, difficulties, etc.), collection of Excel sheets with tasks resolution and the videotape of some sessions. This investigation was particularly important because of the communication and autonomy skills that were achieved in the visual handicapped student. Description: Relatório de estágio de mestrado em Ensino de Matemática no 3º Ciclo do Ensino Básico e no Ensino Secundário

2012-05-18T14:57:25Z Bessa, Paula http://hdl.handle.net/1822/19401 2012-05-19T00:12:39Z 2012-05-18T14:47:05Z

Title: D. Diogo de Sousa «fundador» das Misericórdias do Porto e de Braga : rumos do gosto em obras da sua encomenda Authors: Bessa, Paula Abstract: Neste capítulo analisa-se o que resta da capela funerária e também para uso da nóvel Misericórdia de Braga e o gosto que as peças que sobrevivem manifestam.

2012-05-18T14:47:05Z Bessa, Paula http://hdl.handle.net/1822/19400 2012-05-19T00:12:40Z 2012-05-18T14:42:16Z

Title: Pintura mural da primeira metade do século XVI em igrejas paroquiais do Norte de Portugal : encomendas, artistas, obras Authors: Bessa, Paula Abstract: Neste capítulo reflecte-se sobre os encomendadores a várias oficinas de pintura mural e na «política de preços» que cada oficina analisada praticaria.

2012-05-18T14:42:16Z Santos, T. C. Martins, A. R. Frias, A. M. Marques, A. P. Reis, R. L. http://hdl.handle.net/1822/19399 2012-05-19T00:14:23Z 2012-05-18T14:24:17Z

Title: Dendritic cells as relevant tools to predict the outcome of tissue engineering constructs Authors: Santos, T. C.; Martins, A. R.; Frias, A. M.; Marques, A. P.; Reis, R. L.

2012-05-18T14:24:17Z