Professional Documents
Culture Documents
2. John M Rushby, "Design and verification of secure systems" in , ACM, vol. 15,
no. 5, pp. 12-21, 1981.
3. G. Chen, S. Chen, Y. Xiao, Y. Zhang, Z. Lin and T.H. Lai, "SgxPectre Attacks:
Leaking Enclave Secrets via Speculative Execution", 2018.
11. X. Jiang, M. Kim, K. Lauter and Y. Song, "Secure Outsourced Matrix Computation
and Application to Neural Networks", Proceedings of the 2018 ACM SIGSAC Conference
on Computer and Communications Security (CCS ’18).
14. M. Albrecht, S. Bai and L. Ducas, "A Subfield Lattice Attack on Overstretched
NTRU Assumptions - Cryptanalysis of Some FHE and Graded Encoding Schemes", pp. 153-
178, 2016.
17. J. Bos, K Lauter, J. Loftus and M. Naehrig, "Improved Security for a RingBased
Fully Homomorphic Encryption Scheme", pp. 45-64, 2013.
18. C. Gentry, "Fully homomorphic encryption using ideal lattices", Proc. 41st
Annu. ACM Symp. Theory Comput, pp. 169-178, 2009.
22. J.H. Cheon, A. Kim, M. Kim and Y. Song, "Homomorphic encryption for arithmetic
of approximate numbers", International Conference on the Theory and Application of
Cryptology and Information Security, pp. 409-437, 2017.
23. P. Alves and D. Aranha, "Efficient GPGPU implementation of the leveled fully
homomorphic encryption scheme YASHE".