Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Martı́n Abadi | Researchclopedia

Back to researchers

Martı́n Abadi

Health Information Management

285

Works

53,769

Citations

76

h-index

184

i10-index

Research Topics

Logic, programming, and type systems Security and Verification in Computing Advanced Authentication Protocols Security

Affiliations

Karlsruhe Institute of Technology2018–2018

Tokyo Institute of Technology2001–2001

National Research University Higher School of Economics2017–2017

Ahlia University2011–2011

Microsoft (United States)2006–2018

Top Works

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

Martı́n Abadi,Ashish Agarwal,et al.

20169,727 citations

Cryptography and Data Security

Distributed systems and fault tolerance

TensorFlow: A system for large-scale machine learning

Martı́n Abadi,Paul Barham,et al.

20168,791 citations

TensorFlow: a system for large-scale machine learning

Martı́n Abadi,Paul Barham,et al.

20166,331 citations

Deep Learning with Differential Privacy

Martı́n Abadi,Andy Chu,et al.

20165,634 citations

A logic of authentication

Michael T. Burrows,Martı́n Abadi,et al.

19902,497 citations

A calculus for cryptographic protocols

Martı́n Abadi,Andrew D. Gordon

19971,160 citations

Control-flow integrity

Martı́n Abadi,Mihai Budiu,et al.

20051,023 citations

A Theory of Objects

Martı́n Abadi,Luca Cardelli

19961,009 citations

Mobile values, new names, and secure communication

Martı́n Abadi,Cédric Fournet

2001841 citations