Biblio

Gascon, A., A. Tiwari, B. Carmer, and U. Mathur, "Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis", Computer Aided Verification: Springer International Publishing, pp. 86–103, 2017.

Gascon, A., Privacy-Preserving Data Analysis, , SOCIAM all-hands meeting, September, University of Oxford, 2017.

Gascon, A., P. Schoppmann, B. Balle, M. Raykova, J. Dorner, S. Zahur, and D. Evans, "Privacy-Preserving Distributed Linear Regression on High-Dimensional Data", Privacy Enhancing Technologies, vol. 4: De Gruyter, pp. 248-267, 2017.

Gascon, A., "Privacy-Preserving Distributed Linear Regression on High-Dimensional Data", 17th Privacy Enhancing Technologies Symposium, 2017.

Buneman, P., A. Gascon, L. Moreau, and D. Murray-Rust, Provenance Composition in PROV, , 2017.

Zahur, S., X. Wang, M. Raykova, A. Gascon, J. Doerner, D. Evans, and J. Katz, "Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation", 2016 {IEEE} Symposium on Security and Privacy ({SP}): {IEEE}, may, 2016.