Martı́n Abadi
Health Information Management(BE)
Publications by Year
Research Areas
Logic, programming, and type systems, Security and Verification in Computing, Advanced Authentication Protocols Security, Cryptography and Data Security, Distributed systems and fault tolerance
Most-Cited Works
- → TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems(2016)9,726 cited
- → TensorFlow: A system for large-scale machine learning(2016)8,791 cited
- → Deep Learning with Differential Privacy(2016)5,620 cited
- → A logic of authentication(1990)2,495 cited
- → A calculus for cryptographic protocols(1997)1,160 cited
- → Control-flow integrity(2005)1,022 cited
- → A Theory of Objects(1996)1,009 cited