SoK: Computer-Aided Cryptography

Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography. We present a cross-cutting systematization of the computer-aided cryptography literature, focusing on three main areas: (i) design-level security (both symbolic security and computational security), (ii) functional correctness and efficiency,and (iii) implementation-level security (with a focus on digital side-channel resistance). In each area, we first clarify the role of computer-aided cryptography—how it can help and what the caveats are—in addressing current challenges. We next present a taxonomy of state-of-the-art tools, comparing their accuracy,scope, trustworthiness, and usability. Then, we highlight their main achievements, trade-offs, and research challenges. After covering the three main areas, we present two case studies. First, we study efforts in combining tools focused on different areas to consolidate the guarantees they can provide. Second, we distill the lessons learned from the computer-aided cryptography community’s involvement in the TLS 1.3 standardization effort.Finally, we conclude with recommendations to paper authors,tool developers, and standardization bodies moving forward

de Sitter Thick Brane Solution in Weyl Geometry

In this paper, we consider a de Sitter thick brane model in a pure geometric Weyl integrable five-dimensional space-time, which is a generalization of Riemann geometry and is invariant under a so-called Weyl rescaling. We find a solution of this model via performing a conformal transformation to map the Weylian structure into a familiar Riemannian one with a conformal metric. The metric perturbations of the model are discussed. For gravitational perturbation, we get the effective modified P$\ddot{\text{o}}$schl-Teller potential in corresponding Schr$\ddot{\text{o}}$dinger equation for Kaluza-Klein (KK) modes of the graviton. There is only one bound state, which is a normalizable massless zero mode and represents a stable 4-dimensional graviton. Furthermore, there exists a mass gap between the massless mode and continuous KK modes. We also find that the model is stable under the scalar perturbation in the metric. The correction to the Newtonian potential on the brane is proportional to $e^{-3 r \beta/2}/r^2$, where $\beta$ is the de Sitter parameter of the brane. This is very different from the correction caused by a volcano-like effective potential.Comment: 24 pages, 13 figures, published versio

Localization of gravity on a de Sitter thick braneworld without scalar fields

In this work we present a simple thick braneworld model that is generated by an intriguing interplay between a 5D cosmological constant with a de Sitter metric induced in the 3-brane without the inclusion of scalar fields. We show that 4D gravity is localized on this brane, provide analytic expressions for the massive Kaluza-Klein (KK) fluctuation modes and also show that the spectrum of metric excitations displays a mass gap. We finally present the corrections to Newton's law due to these massive modes. This model has no naked singularities along the fifth dimension despite the existence of a mass gap in the graviton spectrum as it happens in thick branes with 4D Poincare symmetry, providing a simple model with very good features: the curvature is completely smooth along the fifth dimension, it localizes 4D gravity and the spectrum of gravity fluctuations presents a mass gap, a fact that rules out the existence of phenomenologically dangerous ultralight KK excitations in the model. We finally present our solution as a limit of scalar thick branes.Comment: 11 pages in latex, no figures, title and abstract changed, a new section and some references adde

Memórias da Infância e da Educação: abordagens eliasianas sobre as mulheres

Relações sociais entre indivíduos estão pautadas pela experiência de educação e formação que cada um traz consigo ao longo da vida, pelo modo como se constituem individual e coletivamente. A partir de Elias e da metodologia da história oral, o objetivo foi buscar nas memórias de infância de sete mulheres, professoras de crianças, nascidas entre 1950 e 1970, a formação e a educação que se constituiu na infância em espaços privados e domésticos. Apreendeu-se que a escolha profissional tem vínculos com a educação feminina, normatizada por regras de controle e civilidade