M. Abadi

Most-cited papers

Control-flow integrity principles, implementations, and applications
M. Abadi, M. Budiu, Ú. Erlingsson, Jay Ligatti
2009TSEC965 citations
Semantic Scholar
Naiad: a timely dataflow system
D. Murray, F. McSherry, Rebecca Isaacs, M. Isard +2 more
2013Symposium on Operating Systems Principles898 citations Open access
Semantic Scholar
Control-flow integrity
M. Abadi, M. Budiu, Ú. Erlingsson, Jay Ligatti
2005Conference on Computer and Communications Security646 citations
Semantic Scholar
Automated verification of selected equivalences for security protocols
B. Blanchet, M. Abadi, C. Fournet
200520th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)401 citations Open access
Semantic Scholar
Moderately hard, memory-bound functions
M. Abadi, Mike Burrows, M. Manasse, Ted Wobber
2005TOIT300 citations
Semantic Scholar
Understanding TypeScript
G. Bierman, M. Abadi, Mads Torgersen
2014European Conference on Object-Oriented Programming237 citations
Semantic Scholar
Types for safe locking: Static race detection for Java
M. Abadi, C. Flanagan, Stephen N. Freund
2006TOPL237 citations Open access
Semantic Scholar
Deciding knowledge in security protocols under equational theories
M. Abadi, V. Cortier
2004Theoretical Computer Science234 citations Open access
Semantic Scholar
Software Security: A Formal Perspective - (Notes for a Talk)
M. Abadi
2012World Congress on Formal Methods233 citations
Semantic Scholar
Logic in access control
M. Abadi
200318th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.179 citations
Semantic Scholar
An Overview of the Singularity Project
G. Hunt, J. Larus, M. Abadi, Mark Aiken +10 more
2005176 citations
Semantic Scholar
Just fast keying in the pi calculus
M. Abadi, B. Blanchet, C. Fournet
2004TSEC163 citations Open access
Semantic Scholar
Message-Locked Encryption for Lock-Dependent Messages
M. Abadi, D. Boneh, Ilya Mironov, Ananth Raghunathan +1 more
2013IACR Cryptology ePrint Archive152 citations
Semantic Scholar
Code-Carrying Authorization
S. Maffeis, M. Abadi, C. Fournet, A. Gordon
2008European Symposium on Research in Computer Security144 citations Open access
Semantic Scholar
Access control in a core calculus of dependency
M. Abadi
2006ACM SIGPLAN International Conference on Functional Programming131 citations Open access
Semantic Scholar
Security analysis of cryptographically controlled access to XML documents
M. Abadi, B. Warinschi
2005ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems129 citations
Semantic Scholar
Semantics of transactional memory and automatic mutual exclusion
M. Abadi, Andrew Birrell, Tim Harris, M. Isard
2011TOPL127 citations
Semantic Scholar
The Applied Pi Calculus
M. Abadi, B. Blanchet, C. Fournet
2016Journal of the ACM110 citations Open access
Semantic Scholar
Transactional memory with strong atomicity using off-the-shelf memory protection hardware
M. Abadi, Tim Harris, M. Mehrara
2009ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming105 citations
Semantic Scholar
deSEO: Combating Search-Result Poisoning
John P. John, Fang Yu, Ying-Lian Xie, A. Krishnamurthy +1 more
2011USENIX Security Symposium97 citations
Semantic Scholar
Models and Proofs of Protocol Security: A Progress Report
M. Abadi, B. Blanchet, Hubert Comon-Lundh
2009International Conference on Computer Aided Verification95 citations Open access
Semantic Scholar
On Protection by Layout Randomization
M. Abadi, G. Plotkin
2010IEEE Computer Security Foundations Symposium89 citations Open access
Semantic Scholar
Analyzing security protocols with secrecy types and logic programs
M. Abadi, B. Blanchet
2005JACM87 citations
Semantic Scholar
A Theory of Secure Control Flow
M. Abadi, M. Budiu, Ú. Erlingsson, Jay Ligatti
2005IEEE International Conference on Formal Engineering Methods84 citations
Semantic Scholar
Variations in Access Control Logic
M. Abadi
2008International Workshop on Deontic Logic in Computer Science79 citations Open access
Semantic Scholar
A simple differentiable programming language
M. Abadi, G. Plotkin
2019Proc. ACM Program. Lang.76 citations Open access
Semantic Scholar
A Modal Deconstruction of Access Control Logics
Deepak Garg, M. Abadi
2008Foundations of Software Science and Computation Structure76 citations Open access
Semantic Scholar
Architectural support for software-based protection
M. Budiu, Ú. Erlingsson, M. Abadi
2006International Conference on Anti-counterfeiting, Security, and Identification60 citations
Semantic Scholar
Semantics of transactional memory and automatic mutual exclusion
M. Abadi, Andrew Birrell, T. Harris, M. Isard
2008ACM-SIGACT Symposium on Principles of Programming Languages52 citations
Semantic Scholar
Incremental, iterative data processing with timely dataflow
D. Murray, F. McSherry, M. Isard, Rebecca Isaacs +2 more
2016Communications of the ACM51 citations Open access
Semantic Scholar
Unified Declarative Platform for Secure Netwoked Information Systems
Wenchao Zhou, Yun Mao, B. T. Loo, M. Abadi
2009IEEE International Conference on Data Engineering51 citations
Semantic Scholar
Guessing attacks and the computational soundness of static equivalence
M. Baudet, B. Warinschi, M. Abadi
2006Journal of computing and security51 citations Open access
Semantic Scholar
Innocent by association: early recognition of legitimate users
Ying-Lian Xie, Fang Yu, Qi-Fa Ke, M. Abadi +5 more
2012Conference on Computer and Communications Security46 citations
Semantic Scholar
Web PKI: Closing the Gap between Guidelines and Practices
A. Delignat-Lavaud, M. Abadi, Andrew Birrell, Ilya Mironov +2 more
2014Network and Distributed System Security Symposium45 citations
Semantic Scholar
Heat-seeking honeypots: design and experience
John P. John, Fang Yu, Ying-Lian Xie, A. Krishnamurthy +1 more
2011The Web Conference45 citations
Semantic Scholar
Towards a Declarative Language and System for Secure Networking
M. Abadi, B. T. Loo
2007NetDB43 citations
Semantic Scholar
Deciding knowledge in security protocols under (many more) equational theories
M. Abadi, V. Cortier
200518th IEEE Computer Security Foundations Workshop (CSFW'05)42 citations
Semantic Scholar
De-anonymizing the internet using unreliable IDs
Ying-Lian Xie, Fang Yu, M. Abadi
2009Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication39 citations Open access
Semantic Scholar
A Logical Account of NGSCB
M. Abadi, Ted Wobber
2004Formal Techniques for (Networked and) Distributed Systems39 citations Open access
Semantic Scholar
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
M. Abadi, P. Rogaway
2007Journal of Cryptology35 citations Open access
Semantic Scholar
Language-Based Enforcement of Privacy Policies
Katia Hayati, M. Abadi
2004International Symposium on Privacy Enhancing Technologies34 citations
Semantic Scholar
AC: composable asynchronous IO for native languages
Tim Harris, M. Abadi, Rebecca Isaacs, R. McIlroy
2011Conference on Object-Oriented Programming Systems, Languages, and Applications30 citations Open access
Semantic Scholar
Password-Based Encryption Analyzed
M. Abadi, B. Warinschi
2005International Colloquium on Automata, Languages and Programming29 citations
Semantic Scholar
Global Authentication in an Untrustworthy World
M. Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber +1 more
2013USENIX Workshop on Hot Topics in Operating Systems28 citations
Semantic Scholar
Searching the Searchers with SearchAudit
John P. John, Fang Yu, Ying-Lian Xie, M. Abadi +1 more
2010USENIX Security Symposium28 citations
Semantic Scholar
SocialWatch: detection of online service abuse via large-scale social graphs
Junxian Huang, Ying-Lian Xie, Fang Yu, Qi-Fa Ke +3 more
2013ASIA CCS '1324 citations
Semantic Scholar
Authorizing applications in singularity
Ted Wobber, Aydan R. Yumerefendi, M. Abadi, Andrew Birrell +1 more
2007European Conference on Computer Systems23 citations Open access
Semantic Scholar
Trusted Computing, Trusted Third Parties, and Verified Communications
M. Abadi
2004IFIP International Information Security Conference22 citations
Semantic Scholar
Choice in Dynamic Linking
M. Abadi, Georges Gonthier, Benjamin Werner
2004Foundations of Software Science and Computation Structure21 citations Open access
Semantic Scholar
Foundations of Differential Dataflow
M. Abadi, F. McSherry, G. Plotkin
2015Foundations of Software Science and Computation Structure20 citations Open access
Semantic Scholar