Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
- M. Abadi, A. Agarwal, +37 authors X. Zheng
- Computer Science
- ArXiv
- 14 March 2016
TensorFlow is an interface for expressing machine learning algorithms, and an implementation for executing such algorithms. A computation expressed using TensorFlow can be executed with little or no… Expand
A logic of authentication
- M. Burrows, M. Abadi, R. Needham
- Computer Science
- TOCS
- 1 February 1990
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been… Expand
Control-flow integrity
- M. Abadi, M. Budiu, Úlfar Erlingsson, Jay Ligatti
- Computer Science
- CCS '05
- 7 November 2005
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such attacks from… Expand
A Theory of Objects
- M. Abadi, L. Cardelli
- Computer Science
- Monographs in Computer Science
- 1996
From the Publisher:
Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous… Expand
A calculus for cryptographic protocols: the spi calculus
We introduce the spi calculus, an extension of the pi calculus designed for describing and analyzing cryptographic protocols. We show how to use the spi calculus, particularly for studying… Expand
Mobile values, new names, and secure communication
- M. Abadi, C. Fournet
- Computer Science
- POPL '01
- 2001
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are the main motivating examples… Expand
A logic of authentication
- M. Burrows, M. Abadi, R. Needham
- Computer Science
- SOSP '89
- 1 November 1989
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been… Expand
Naiad: a timely dataflow system
- D. Murray, F. McSherry, R. Isaacs, M. Isard, P. Barham, M. Abadi
- Computer Science
- SOSP '13
- 3 November 2013
Naiad is a distributed system for executing data parallel, cyclic dataflow programs. It offers the high throughput of batch processors, the low latency of stream processors, and the ability to… Expand
The Existence of Refinement Mappings
- M. Abadi, L. Lamport
- Computer Science
- LICS
- 5 July 1988
Refinement mappings are used to prove that a lower-level specification correctly implements a higher-level one. The authors consider specifications consisting of a state machine (which may be… Expand
Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data
- Nicolas Papernot, M. Abadi, Úlfar Erlingsson, Ian J. Goodfellow, K. Talwar
- Mathematics, Computer Science
- ICLR
- 18 October 2016
Some machine learning applications involve training data that is sensitive, such
as the medical histories of patients in a clinical trial. A model may
inadvertently and implicitly store some of its… Expand