← Back to directory
Martı́n Abadi
Researcher Next ID · RN-007648
Researcher · Computer Science
Brussels, Belgium
Not currently recruitingFunding unknown
- Works count
- 285
- Citation count
- 54,506
- H-index
- 76
- i10-index
- 184
Research interests
Computer Science
Logic, programming, and type systems
Security and Verification in Computing
Advanced Authentication Protocols Security
Cryptography and Data Security
Distributed systems and fault tolerance
Publications
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
arXiv (Cornell University) · 2016 · https://doi.org/10.48550/arxiv.1603.04467
TensorFlow: A system for large-scale machine learning
arXiv (Cornell University) · 2016 · https://doi.org/10.48550/arxiv.1605.08695
TensorFlow: a system for large-scale machine learning
Operating Systems Design and Implementation · 2016 · https://doi.org/10.5555/3026877.3026899
Deep Learning with Differential Privacy
Journal · 2016 · https://doi.org/10.1145/2976749.2978318
A logic of authentication
ACM Transactions on Computer Systems · 1990 · https://doi.org/10.1145/77648.77649
Current projects
No projects listed.