[PDF] Top 20 Agir e sensibilizar: práticas de educação ambiental na formação inicial de professores

... On IPE based on lattices, Agrawal et al. [AFV11] constructed the first IPE scheme which is selec- tively secure and weakly attribute hiding under the LWE assumption. Another study on a lattice-based HIPE scheme ... See full document

... Remark: Our IPE-CC scheme addresses privacy concerns given in the above remote server system, which is illustrated in Figure 1. Every data-provider, e.g., Hospital A, B,.., can put his encrypted data ct x for data x on ... See full document

... The only known technique to prove the full security of an (attribute-hiding) IPE or ABE system is the dual system encryption by Waters [21] and its extension [16]. In the techniques, information theoretical ... See full document

... multi-input inner product functionality is a multi-input gen- eralization of its single-input version, a natural first step is to explore whether we can obtain a private key full-hiding 𝑛-input MIFE scheme ... See full document

... vectors, inner products between them and a pseudo-norm on ...IPFE from standard assumptions in Section 4, and prove it selectively secure in the random oracle model under the DBDH ... See full document

... We will prove that there exists a simulator that generates the view of the adversary from the output only. In this proof, we will assume static corruptions (the set CS of the corrupted clients is known from ... See full document

... Functional encryption is a modern public-key cryptographic primitive allowing an encryptor to finely control the information revealed to recipients from a given ...functional encryption restricted to ... See full document

... To put it a bit more formally: in HVE metadata attributes are encoded in an at- tribute vector (the collection) and predicates are encoded in a query vector of equal alignment (and consequently of equal length), where ... See full document

... The decryption algorithm requires to compute a discrete logarithm. This is in general too expensive. Like in [2], this can be circumvented by imposing that the computed inner product lies in an interval {0, ... See full document

... chain from [43] to this platform using arm-none-eabi-gcc ...generated from within the Nucleo board prior to each encryption routine to synchronize the power ... See full document

... hiding Inner Product Encryption for Binary strings, in which a ciphertext of IPE can be generated many times, while generation of secret key for a function is allowed only ...reduction from ... See full document

... key encryption schemes that were oriented to search on encrypted ...drawn from a high min-entropic ...deterministic encryption schemes with respect to auxiliary ...deterministic encryption ... See full document

... the inner disjunction is as follows: if X is different from a and b, then both X and the plaintext remain hidden via security of the underlying ...techniques from lattice-based inner ... See full document

... Functional encryption (FE) is an ambitious vision of modern cryptography that attempts to preserve confidentiality of externally stored data while allowing entities to delegate computations on the outsourced data ... See full document

... that inner products will be contained in a polynomially-sized ...for inner product encryption developed in [17], which is the observation that one can place two vectors in the exponents on ... See full document

... Abstract. Inner product functional encryption (IPFE), introduced by Abdalla et ...functional encryption supporting only inner product ...factor from previous bounded ... See full document

... In many practical applications, it is common that people only care about several specific functions on the data, for example the mean value of the data. Allowing many people to get access to the same function, with ... See full document

... As with previous schemes, we too must upper bound the noise growth of evaluated ciphertexts in order to ensure basic correctness of our IPE. But unlike previous schemes, we must take the step of also (carefully) lower ... See full document

... are distributed independently. Then the security of scheme (9) can be reduced to that of private-key scheme (8) by observations: (i) msk g is necessary for generating mpk in scheme (9); (ii) we can view a ciphertext in ... See full document

... Recently, Wee [31] proposed an information-theoretic primitive called predicate encodings that character- ize the underlying algebraic structure of a number of predicate encoding schemes, including known IBE [24] and ... See full document