A fast and verified software stack for secure function evaluation [PDF]
, 2017 We present a high-assurance software stack for secure function evaluation (SFE). Our stack consists of three components: i. a verified compiler (CircGen) that translates C programs into Boolean circuits; ii.
Barthe Gilles +13 more
core +3 more sources
COMPREENDENDO O ESPAÇO SAGRADO COMO UMA EPIFANIA DA LUZ: UM ESTUDO DOS VITRAIS CONFECCIONADOS POR PE. GERALDO LEITE BASTOS [PDF]
, 2023 Este artigo é uma discussão a respeito do espaço litúrgico sagrado como uma epifania de luz. O objetivo deste estudo é compreender a dimensão do espaço sagrado na liturgia a partir dos vitrais, tomando como ponto de referência o trabalho do Padre Geraldo
da Costa , Luís Ribeiro
core +2 more sources
Factores condicionantes en la simplificación de los templos católicos después del Vaticano II en Brasil: Análisis de la iglesia parroquial de Santa María de Campos [PDF]
, 2019 Under the influence of the liturgical reform promoted in the 20th century, Catholic temples assumed very simple characteristics, especially after the determinations of the Second Vatican Council.
de Souza, Alessandro Ferreira Rodrigues +1 more
core +2 more sources
A representação do transcendente por ornamentação num espaço de culto [PDF]
, 2016 O seguinte estudo com o título A REPRESENTAÇÃO DO TRANSCENDENTE POR ORNAMENTAÇÃO NUM ESPAÇO DE CULTO, procurou refletir sobre a influência da ornamentação na questão espiritual no espaça de culto, particularmente Metodista.
Cardim, Priscila Beda
core +2 more sources
Group Structure in Correlations and Its Applications in Cryptography [PDF]
, 2021 Correlated random variables are a key tool in cryptographic applications like secure multi-party computation. We investigate the power of a class of correlations that we term group correlations: A group correlation is a uniform distribution over pairs ...
Policharla, Guru-Vamsi +3 more
core +2 more sources
Private Multi-party Matrix Multiplication and Trust Computations
, 2016 This paper deals with distributed matrix multiplication. Each player owns only one row of both matrices and wishes to learn about one distinct row of the product matrix, without revealing its input to the other players.
Dumas, Jean-Guillaume +3 more
core +4 more sources
A internet, um novo espaço de disputa pela memória da ditadura militar no Brasil [PDF]
, 2013 A pós-modernidade que, a priori parecia ter lançado a História no campo da irrelevância, acabou por desencadear um movimento de valorização da memória.
Marinho, Maria Gabriela da Silva Martins da Cunha +1 more
core +3 more sources
Entre biomas e embriões: as imagens da “vida” no catolicismo brasileiro [PDF]
, 2023 This article has as a starting point the imagery composition of the baldachin of “life” in the National Basilica of Our Lady Aparecida (Aparecida, São Paulo, Brazil).
Godoy, Adriano
core +2 more sources
Line-Point Zero Knowledge and Its Applications [PDF]
, 2021 We introduce and study a simple kind of proof system called line-point zero knowledge (LPZK). In an LPZK proof, the prover encodes the witness as an affine line $\mathbf{v}(t) := \mathbf{a}t + \mathbf{b}$ in a vector space $\mathbb{F}^n$, and the ...
Dittmer, Samuel +2 more
core +2 more sources
Efficient, Actively Secure MPC with a Dishonest Majority: a Survey [PDF]
, 2022 The last ten years have seen a tremendous growth in the interest and practicality of secure multiparty computation (MPC) and its possible applications.
Emmanuela Orsini
core