M Abadi, A Agarwal, P Barham, E Brevdo, Z Chen, C Citro, GS Corrado, ...

arXiv preprint arXiv:1603.04467 172, 2015

M Abadi, P Barham, J Chen, Z Chen, A Davis, J Dean, M Devin, ...

OSDI 16, 265-283, 2016

M Abadi, A Chu, I Goodfellow, HB McMahan, I Mironov, K Talwar, L Zhang

Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016

M Burrows, M Abadi, R Needham

Proc. R. Soc. Lond. A 426 (1871), 233-271, 1989

M Abadi, M Budiu, Ú Erlingsson, J Ligatti

ACM Transactions on Information and System Security-TISSEC 13 (1), 2009

M Abadi, AD Gordon

Proceedings of the 4th ACM Conference on Computer and Communications …, 1997

M Abadi, L Cardelli

Springer, 1996

M Abadi, L Lamport

Theoretical Computer Science 82 (2), 253-284, 1991

M Abadi, C Fournet

ACM Sigplan Notices 36 (3), 104-115, 2001

M Abadi, L Cardelli, PL Curien, JJ Lévy

Journal of Functional Programming 6 (2), 299-327, 1996

N Papernot, M Abadi, U Erlingsson, I Goodfellow, K Talwar

arXiv preprint arXiv:1610.05755, 2016

B Lampson, M Abadi, M Burrows, E Wobber

ACM Transactions on Computer Systems (TOCS) 10 (4), 265-310, 1992

DG Murray, F McSherry, R Isaacs, M Isard, P Barham, M Abadi

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013

TB Brown, D Mané, A Roy, M Abadi, J Gilmer

arXiv preprint arXiv:1712.09665, 2017

M Abadi, R Needham

IEEE transactions on Software Engineering 22 (1), 6-15, 1996

M Abadi, M Burrows, B Lampson, G Plotkin

ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 706-734, 1993

M Abadi, L Lamport

ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 73-132, 1993

M Abadi, L Lamport

ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 507-535, 1995

M Abadi, MR Tuttle

Proceedings of the tenth annual ACM symposium on Principles of distributed …, 1991

U Erlingsson, M Abadi, M Vrable, M Budiu, GC Necula

Proceedings of the 7th symposium on Operating systems design and …, 2006