ATLAS Run 1 searches for direct pair production of third-generation squarks at the Large Hadron Collider

This paper reviews and extends searches for the direct pair production of the scalar supersymmetric partners of the top and bottom quarks in proton--proton collisions collected by the ATLAS collaboration during the LHC Run 1. Most of the analyses use 20 fb−1 of collisions at a centre-of-mass energy of s√=8 TeV, although in some case an additional 4.7 fb−1 of collision data at s√=7 TeV are used. New analyses are introduced to improve the sensitivity to specific regions of the model parameter space. Since no evidence of third-generation squarks is found, exclusion limits are derived by combining several analyses and are presented in both a simplified model framework, assuming simple decay chains, as well as within the context of more elaborate phenomenological supersymmetric models.

As citações e notificações de atos judiciais e extrajudiciais nos termos do Regulamento (CE) n.º 1393/2007: em especial, a via postal

Dissertação de mestrado em Direito da União Europeia

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.

A garantia do direito à segurança social numa sociedade de risco

Tese de doutoramento em ciências jurídicas públicas

Cyberbullying: caracterização do fenómeno em Portugal

Dissertação de mestrado em Crime, Diferença e Desigualdade

A Responsabilidade Civil dos Gerentes e Administradores pelo pagamento das coimas e multas imputáveis à sociedade

Dissertação de mestrado em Direito dos Contratos e da Empresa

Dano reflexo nos acidentes de viação

Relatório de atividade profissional de mestrado em Direito dos Contratos e da Empresa

O direito fundamental à proteção na velhice através dos impostos

Dissertação de mestrado em Direito das Crianças, Família e Sucessões