ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

O efeito da deposição salina nas características das escorrências rodoviárias em zonas costeiras

Tese de Doutoramento em Engenharia Civil.

Propolis: A complex natural product with a plethora of biological activities that can be explored for drug development

The health industry has always used natural products as a rich, promising, and alternative source of drugs that are used in the health system. Propolis, a natural resinous product known for centuries, is a complex product obtained by honey bees from substances collected from parts of different plants, buds, and exudates in different geographic areas. Propolis has been attracting scientific attention since it has many biological and pharmacological properties, which are related to its chemical composition. Several in vitro and in vivo studies have been performed to characterize and understand the diverse bioactivities of propolis and its isolated compounds, as well as to evaluate and validate its potential. Yet, there is a lack of information concerning clinical effectiveness. The goal of this review is to discuss the potential of propolis for the development of new drugs by presenting published data concerning the chemical composition and the biological properties of this natural compound from different geographic origins.

Relacionamentos em MMORPGs: online e offline

Dissertação de mestrado em Comunicação, Arte e Cultura

Da utilização e análise de dados de Geofísica em contextos arqueológicos: o Castro de Sapelos (Boticas) e o Seminário Conciliar de São Pedro e São Paulo (Braga)

Dissertação de mestrado em Arqueologia

Avaliação da eficiência de projetos de reabilitação ambiental de áreas mineiras abandonadas: o caso da área mineira de Covas

Dissertação de mestrado em Geociências (área de especialização em Valorização de Recursos Geológicos)

Azulejaria portuguesa e a valorização do património: interpretação de fontes patrimoniais iconográficas por alunos do 1º e 2º ciclo do ensino básico

Relatório de estágio de mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico

A design of experiments to assess phosphorous removal and crystal properties in struvite precipitation of source separated urine using different Mg sources

Supplementary data associated with this article can be found, in the online version, at: http://dx.doi.org/10.1016/j.cej.2016.03.148.

Anaerobic oxidation of methane associated with sulfate reduction in a natural freshwater gas source

The occurrence of anaerobic oxidation of methane (AOM) and trace methane oxidation (TMO) was investigated in a freshwater natural gas source. Sediment samples were taken and analyzed for potential electron acceptors coupled to AOM. Long-term incubations with 13C-labeled CH4 (13CH4) and different electron acceptors showed that both AOM and TMO occurred. In most conditions, 13C-labeled CO2 (13CO2) simultaneously increased with methane formation, which is typical for TMO. In the presence of nitrate, neither methane formation nor methane oxidation occurred. Net AOM was measured only with sulfate as electron acceptor. Here, sulfide production occurred simultaneously with 13CO2 production and no methanogenesis occurred, excluding TMO as a possible source for 13CO2 production from 13CH4. Archaeal 16S rRNA gene analysis showed the highest presence of ANME-2a/b (ANaerobic MEthane oxidizing archaea) and AAA (AOM Associated Archaea) sequences in the incubations with methane and sulfate as compared with only methane addition. Higher abundance of ANME-2a/b in incubations with methane and sulfate as compared with only sulfate addition was shown by qPCR analysis. Bacterial 16S rRNA gene analysis showed the presence of sulfate-reducing bacteria belonging to SEEP-SRB1. This is the first report that explicitly shows that AOM is associated with sulfate reduction in an enrichment culture of ANME-2a/b and AAA methanotrophs and SEEP-SRB1 sulfate reducers from a low-saline environment.