Martín Abadi - RankMe

265 papers A* 63A 24B 26C 4Misc 2Journal 81Unranked 60

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Smart Choices and the Selection Monad. Log. Methods Comput. Sci. Martín Abadi, Gordon D. Plotkin
2021	—	`conf`	Falkirk Wheel: Rollback Recovery for Dataflow Systems. SoCC Ionel Gog, Michael Isard, Martín Abadi
2021	A*	`conf`	Smart Choices and the Selection Monad. LICS Martín Abadi, Gordon D. Plotkin
2020	J	`jnl`	A simple differentiable programming language. Proc. ACM Program. Lang. Martín Abadi, Gordon D. Plotkin
2020	J	`jnl`	Smart Choices and the Selection Monad. CoRR Martín Abadi, Gordon D. Plotkin
2019	J	`jnl`	A Simple Differentiable Programming Language. CoRR Martín Abadi, Gordon D. Plotkin
2018	J	`jnl`	Dynamic Control Flow in Large-Scale Machine Learning. CoRR Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng
2018	A	`conf`	Dynamic control flow in large-scale machine learning. EuroSys Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng
2018	J	`jnl`	The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. J. ACM Martín Abadi, Bruno Blanchet, Cédric Fournet
2017	—	`conf`	A computational model for TensorFlow: an introduction. MAPL@PLDI Martín Abadi, Michael Isard, Derek Gordon Murray
2017	J	`jnl`	Adversarial Patch. CoRR Tom B. Brown, Dandelion Mané, Aurko Roy, Martín Abadi, Justin Gilmer
2017	—	`conf`	Learning a Natural Language Interface with Neural Programmer. ICLR (Poster) Arvind Neelakantan, Quoc V. Le, Martín Abadi, Andrew McCallum, Dario Amodei
2017	J	`jnl`	On the Protection of Private Information in Machine Learning Systems: Two Recent Approaches. CoRR Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang
2017	A	`conf`	On the Protection of Private Information in Machine Learning Systems: Two Recent Approches. CSF Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang
2017	—	`conf`	Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data. ICLR Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, Kunal Talwar
2016	A*	`conf`	Deep Learning with Differential Privacy. CCS Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang
2016	J	`jnl`	Deep Learning with Differential Privacy. CoRR Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang
2016	J	`jnl`	Incremental, iterative data processing with timely dataflow. Commun. ACM Derek Gordon Murray, Frank McSherry, Michael Isard, Rebecca Isaacs, Paul Barham, Martín Abadi
2016	J	`jnl`	Learning a Natural Language Interface with Neural Programmer. CoRR Arvind Neelakantan, Quoc V. Le, Martín Abadi, Andrew McCallum, Dario Amodei
2016	J	`jnl`	Learning to Protect Communications with Adversarial Neural Cryptography. CoRR Martín Abadi, David G. Andersen
2016	J	`jnl`	Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data. CoRR Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian J. Goodfellow, Kunal Talwar
2016	A*	`conf`	TensorFlow: A System for Large-Scale Machine Learning. OSDI Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng
2016	J	`jnl`	TensorFlow: A system for large-scale machine learning. CoRR Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zhang
2016	J	`jnl`	TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. CoRR Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Gregory S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian J. Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Józefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Gordon Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul A. Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda B. Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, Xiaoqiang Zheng
2016	A	`conf`	TensorFlow: learning functions at scale. ICFP Martín Abadi
2016	J	`jnl`	The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. CoRR Martín Abadi, Bruno Blanchet, Cédric Fournet
2015	—	`conf`	Distributed Authorization with Distributed Grammars. Programming Languages with Applications to Biology and Security Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly
2015	J	`jnl`	Falkirk Wheel: Rollback Recovery for Dataflow Systems. CoRR Michael Isard, Martín Abadi
2015	B	`conf`	Foundations of Differential Dataflow. FoSSaCS Martín Abadi, Frank McSherry, Gordon D. Plotkin
2015	J	`jnl`	Message-Locked Encryption for Lock-Dependent Messages. IACR Cryptol. ePrint Arch. Martín Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev
2015	—	`conf`	On the Flow of Data, Information, and Time. POST Martín Abadi, Michael Isard
2015	B	`conf`	The Prophecy of Timely Rollback (Invited Talk). CSL Martín Abadi
2015	B	`conf`	The Prophecy of Undo. FASE Martín Abadi
2015	C	`conf`	Timely Dataflow: A Model. FORTE Martín Abadi, Michael Isard
2015	—	`conf`	Timely Rollback: Specification and Verification. NFM Martín Abadi, Michael Isard
2014	—	`conf`	Layout Randomization and Nondeterminism. Horizons of the Mind Martín Abadi, Jérémy Planul, Gordon D. Plotkin
2014	—	`ed.`	Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings POST Martín Abadi, Steve Kremer
2014	—	`ed.`	Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers TGC Martín Abadi, Alberto Lluch-Lafuente
2014	A	`conf`	Understanding TypeScript. ECOOP Gavin M. Bierman, Martín Abadi, Mads Torgersen
2014	A*	`conf`	Web PKI: Closing the Gap between Guidelines and Practices. NDSS Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
2013	—	`conf`	Early security classification of skype users via machine learning. AISec Anna Leontjeva, Moisés Goldszmidt, Yinglian Xie, Fang Yu, Martín Abadi
2013	—	`conf`	Formal Analysis of a Distributed Algorithm for Tracking Progress. FMOODS/FORTE Martín Abadi, Frank McSherry, Derek Gordon Murray, Thomas L. Rodeheffer
2013	A	`conf`	Global Authentication in an Untrustworthy World. HotOS Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
2013	B	`conf`	Layout Randomization and Nondeterminism. MFPS Martín Abadi, Jérémy Planul, Gordon D. Plotkin
2013	—	`conf`	Message-Locked Encryption for Lock-Dependent Messages. CRYPTO (1) Martín Abadi, Dan Boneh, Ilya Mironov, Ananth Raghunathan, Gil Segev
2013	A*	`conf`	Naiad: a timely dataflow system. SOSP Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi
2013	—	`conf`	On Layout Randomization for Arrays and Functions. POST Martín Abadi, Jérémy Planul
2013	A	`conf`	SocialWatch: detection of online service abuse via large-scale social graphs. AsiaCCS Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Zhuoqing Morley Mao
2012	B	`conf`	A Functional View of Imperative Information Flow. APLAS Thomas H. Austin, Cormac Flanagan, Martín Abadi
2012	A*	`conf`	Host Fingerprinting and Tracking on the Web: Privacy and Security Implications. NDSS Ting-Fang Yen, Yinglian Xie, Fang Yu, Roger Peng Yu, Martín Abadi
2012	A*	`conf`	Innocent by association: early recognition of legitimate users. CCS Yinglian Xie, Fang Yu, Qifa Ke, Martín Abadi, Eliot Gillum, Krish Vitaldevaria, Jason Walter, Junxian Huang, Zhuoqing Morley Mao
2012	J	`jnl`	On Protection by Layout Randomization. ACM Trans. Inf. Syst. Secur. Martín Abadi, Gordon D. Plotkin
2012	B	`conf`	Software Security: A Formal Perspective - (Notes for a Talk). FM Martín Abadi
2011	A	`conf`	AC: composable asynchronous IO for native languages. OOPSLA Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy
2011	—	`conf`	Differential privacy with information flow control. PLAS Arnar Birgisson, Frank McSherry, Martín Abadi
2011	A*	`conf`	Heat-seeking honeypots: design and experience. WWW John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi
2011	J	`jnl`	Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
2011	A*	`conf`	deSEO: Combating Search-Result Poisoning. USENIX Security Symposium John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi
2010	J	`jnl`	A Model of Cooperative Threads Log. Methods Comput. Sci. Martín Abadi, Gordon D. Plotkin
2010	J	`jnl`	A model of dynamic separation for transactional memory. Inf. Comput. Martín Abadi, Tim Harris, Katherine F. Moore
2010	J	`jnl`	Guessing attacks and the computational soundness of static equivalence. J. Comput. Secur. Mathieu Baudet, Bogdan Warinschi, Martín Abadi
2010	Misc	`conf`	How to tell an airport from a home: techniques and applications. HotNets Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage
2010	A	`conf`	On Protection by Layout Randomization. CSF Martín Abadi, Gordon D. Plotkin
2010	A*	`conf`	Searching the Searchers with SearchAudit. USENIX Security Symposium John P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy
2010	A*	`conf`	The Fine Print of Security. LICS Martín Abadi
2009	A*	`conf`	A model of cooperative threads. POPL Martín Abadi, Gordon D. Plotkin
2009	J	`jnl`	Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2009	A*	`conf`	De-anonymizing the internet using unreliable IDs. SIGCOMM Yinglian Xie, Fang Yu, Martín Abadi
2009	B	`conf`	Implementation and Use of Transactional Memory with Dynamic Separation. CC Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
2009	—	`conf`	Logic in Access Control (Tutorial Notes). FOSAD Martín Abadi
2009	A*	`conf`	Models and Proofs of Protocol Security: A Progress Report. CAV Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh
2009	B	`conf`	Perspectives on Transactional Memory. CONCUR Martín Abadi, Tim Harris
2009	B	`conf`	Transactional memory with strong atomicity using off-the-shelf memory protection hardware. PPoPP Martín Abadi, Tim Harris, Mojtaba Mehrara
2009	A*	`conf`	Unified Declarative Platform for Secure Netwoked Information Systems. ICDE Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi
2008	B	`conf`	A Modal Deconstruction of Access Control Logics. FoSSaCS Deepak Garg, Martín Abadi
2008	B	`conf`	A Model of Dynamic Separation for Transactional Memory. CONCUR Martín Abadi, Tim Harris, Katherine F. Moore
2008	J	`jnl`	Automated verification of selected equivalences for security protocols. J. Log. Algebraic Methods Program. Bruno Blanchet, Martín Abadi, Cédric Fournet
2008	—	`conf`	Automatic Mutual Exclusion and Atomicity Checks. Concurrency, Graphs and Models Martín Abadi
2008	A	`conf`	Code-Carrying Authorization. ESORICS Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
2008	J	`jnl`	Security analysis of cryptographically controlled access to XML documents. J. ACM Martín Abadi, Bogdan Warinschi
2008	A*	`conf`	Semantics of transactional memory and automatic mutual exclusion. POPL Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
2008	A*	`conf`	The good, the bad, and the provable. CCS Martín Abadi
2008	—	`conf`	Variations in Access Control Logic. DEON Martín Abadi
2007	—	`conf`	Access Control in a Core Calculus of Dependency. Computation, Meaning, and Logic Martín Abadi
2007	A	`conf`	Authorizing applications in singularity. EuroSys Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon
2007	J	`jnl`	Editorial. ACM Trans. Program. Lang. Syst. Martín Abadi, Jens Palsberg
2007	J	`jnl`	Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur. Martín Abadi, Bruno Blanchet, Cédric Fournet
2007	B	`conf`	Policies and Proofs for Code Auditing. ATVA Nathan Whitehead, Jordan Johnson, Martín Abadi
2007	J	`jnl`	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptol. Martín Abadi, Phillip Rogaway
2007	—	`conf`	Security Protocols: Principles and Calculi. FOSAD Martín Abadi
2007	—	`conf`	Towards a Declarative Language and System for Secure Networking. NetDB Martín Abadi, Boon Thau Loo
2006	A	`conf`	Access control in a core calculus of dependency. ICFP Martín Abadi
2006	—	`conf`	Architectural support for software-based protection. ASID Mihai Budiu, Úlfar Erlingsson, Martín Abadi
2006	B	`conf`	Computational Secrecy by Typing for the Pi Calculus. APLAS Martín Abadi, Ricardo Corin, Cédric Fournet
2006	J	`jnl`	Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. Martín Abadi, Véronique Cortier
2006	C	`conf`	Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE Avik Chaudhuri, Martín Abadi
2006	B	`conf`	Guessing Attacks and the Computational Soundness of Static Equivalence. FoSSaCS Martín Abadi, Mathieu Baudet, Bogdan Warinschi
2006	—	`conf`	Secrecy by Typing and File-Access Control. CSFW Avik Chaudhuri, Martín Abadi
2006	J	`jnl`	Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. Martín Abadi, Cormac Flanagan, Stephen N. Freund
2006	A*	`conf`	XFI: Software Guards for System Address Spaces. OSDI Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula
2005	J	`jnl`	"Language-Based Security". J. Funct. Program. Martín Abadi, Greg Morrisett, Andrei Sabelfeld
2005	C	`conf`	A Theory of Secure Control Flow. ICFEM Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2005	A	`conf`	Access Control in a World of Software Diversity. HotOS Martín Abadi, Andrew Birrell, Ted Wobber
2005	J	`jnl`	Analyzing security protocols with secrecy types and logic programs. J. ACM Martín Abadi, Bruno Blanchet
2005	A*	`conf`	Automated Verification of Selected Equivalences for Security Protocols. LICS Bruno Blanchet, Martín Abadi, Cédric Fournet
2005	B	`ed.`	CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings CONCUR Martín Abadi, Luca de Alfaro
2005	J	`jnl`	Computer-assisted verification of a protocol for certified email. Sci. Comput. Program. Martín Abadi, Bruno Blanchet
2005	A*	`conf`	Control-flow integrity. CCS Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2005	—	`conf`	Deciding Knowledge in Security Protocols under (Many More) Equational Theories. CSFW Martín Abadi, Véronique Cortier
2005	—	`conf`	Formal security analysis of basic network-attached storage. FMSE Avik Chaudhuri, Martín Abadi
2005	J	`jnl`	Moderately hard, memory-bound functions. ACM Trans. Internet Techn. Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber
2005	A*	`conf`	Password-Based Encryption Analyzed. ICALP Martín Abadi, Bogdan Warinschi
2005	A*	`ed.`	Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 POPL Jens Palsberg, Martín Abadi
2005	A*	`conf`	Security analysis of cryptographically controlled access to XML documents. PODS Martín Abadi, Bogdan Warinschi
2004	C	`conf`	A Logical Account of NGSCB. FORTE Martín Abadi, Ted Wobber
2004	B	`conf`	BCiC: A System for Code Authentication and Verification. LPAR Nathan Whitehead, Martín Abadi
2004	—	`conf`	By Reason and Authority: A System for Authorization of Proof-Carrying Code. CSFW Nathan Whitehead, Martín Abadi, George C. Necula
2004	B	`conf`	Choice in Dynamic Linking. FoSSaCS Martín Abadi, Georges Gonthier, Benjamin Werner
2004	A*	`conf`	Deciding Knowledge in Security Protocols Under Equational Theories. ICALP Martín Abadi, Véronique Cortier
2004	A	`conf`	Just Fast Keying in the Pi Calculus. ESOP Martín Abadi, Bruno Blanchet, Cédric Fournet
2004	A	`conf`	Language-Based Enforcement of Privacy Policies. Privacy Enhancing Technologies Katia Hayati, Martín Abadi
2004	J	`jnl`	Private authentication. Theor. Comput. Sci. Martín Abadi, Cédric Fournet
2004	Misc	`conf`	Trusted Computing, Trusted Third Parties, and Verified Communications. SEC Martín Abadi
2003	—	`conf`	A Logic of Object-Oriented Programs. Verification: Theory and Practice Martín Abadi, K. Rustan M. Leino
2003	A*	`conf`	Access Control Based on Execution History. NDSS Martín Abadi, Cédric Fournet
2003	—	`conf`	Bankable Postage for Network Services. ASIAN Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber
2003	A	`conf`	Built-in Object Security. ECOOP Martín Abadi
2003	B	`conf`	Computer-Assisted Verification of a Protocol for Certified Email. SAS Martín Abadi, Bruno Blanchet
2003	A*	`conf`	Logic in Access Control. LICS Martín Abadi
2003	A*	`conf`	Moderately Hard, Memory-Bound Functions. NDSS Martín Abadi, Michael Burrows, Ted Wobber
2003	J	`jnl`	Reasoning About Secrecy for Active Networks. J. Comput. Secur. Pankaj Kakkar, Carl A. Gunter, Martín Abadi
2003	J	`jnl`	Secrecy types for asymmetric communication. Theor. Comput. Sci. Martín Abadi, Bruno Blanchet
2002	A*	`conf`	Analyzing security protocols with secrecy types and logic programs. POPL Martín Abadi, Bruno Blanchet
2002	A*	`conf`	Certified email with a light on-line trusted third party: design and implementation. WWW Martín Abadi, Neal Glew
2002	J	`jnl`	Editorial. ACM Trans. Comput. Log. Martín Abadi, Leonid Libkin, Frank Pfenning
2002	—	`conf`	Hiding Names: Private Authentication in the Applied Pi Calculus. ISSS Cédric Fournet, Martín Abadi
2002	A	`conf`	Private Authentication. Privacy Enhancing Technologies Martín Abadi
2002	J	`jnl`	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptol. Martín Abadi, Phillip Rogaway
2002	J	`jnl`	Secure Implementation of Channel Abstractions. Inf. Comput. Martín Abadi, Cédric Fournet, Georges Gonthier
2001	—	`conf`	Computing Symbolic Models for Verifying Cryptographic Protocols. CSFW Marcelo P. Fiore, Martín Abadi
2001	—	`conf`	Formal Eavesdropping and Its Computational Interpretation. TACS Martín Abadi, Jan Jürjens
2001	A*	`conf`	Leslie Lamport's properties and actions. PODC Martín Abadi
2001	A*	`conf`	Mobile values, new names, and secure communication. POPL Martín Abadi, Cédric Fournet
2001	B	`conf`	Secrecy Types for Asymmetric Communication. FoSSaCS Martín Abadi, Bruno Blanchet
2000	A*	`conf`	Authentication Primitives and Their Compilation. POPL Martín Abadi, Cédric Fournet, Georges Gonthier
2000	—	`conf`	Reasoning about Secrecy for Active Networks. CSFW Pankaj Kakkar, Carl A. Gunter, Martín Abadi
2000	—	`conf`	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). IFIP TCS Martín Abadi, Phillip Rogaway
2000	A*	`conf`	Taming the Adversary. CRYPTO Martín Abadi
2000	J	`jnl`	top-top-closed relations and admissibility. Math. Struct. Comput. Sci. Martín Abadi
1999	J	`jnl`	A Calculus for Cryptographic Protocols: The spi Calculus. Inf. Comput. Martín Abadi, Andrew D. Gordon
1999	A*	`conf`	A Core Calculus of Dependency. POPL Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
1999	—	`conf`	A Top-Down Look at a Secure Message. FSTTCS Martín Abadi, Cédric Fournet, Georges Gonthier
1999	J	`jnl`	A Type System for Java Bytecode Subroutines. ACM Trans. Program. Lang. Syst. Raymie Stata, Martín Abadi
1999	B	`conf`	Object Types against Races. CONCUR Cormac Flanagan, Martín Abadi
1999	—	`conf`	Protection in Programming-Language Translations. Secure Internet Programming Martín Abadi
1999	B	`conf`	Secrecy in Programming-Language Semantics. MFPS Martín Abadi
1999	—	`conf`	Secure Communications Processing for Distributed Languages. S&P Martín Abadi, Cédric Fournet, Georges Gonthier
1999	—	`conf`	Secure Network Objects. Secure Internet Programming Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
1999	B	`conf`	Security Protocols and Specifications. FoSSaCS Martín Abadi
1999	A	`conf`	Types for Safe Locking. ESOP Cormac Flanagan, Martín Abadi
1998	A	`conf`	A Bisimulation Method for Cryptographic Protocols. ESOP Martín Abadi, Andrew D. Gordon
1998	J	`jnl`	A Bisimulation Method for Cryptographic Protocols. Nord. J. Comput. Martín Abadi, Andrew D. Gordon
1998	A*	`conf`	A Type System for Java Bytecode Subroutines. POPL Raymie Stata, Martín Abadi
1998	J	`jnl`	On SDSI's Linked Local Name Spaces. J. Comput. Secur. Martín Abadi
1998	—	`conf`	Panel Introduction: Varieties of Authentication. CSFW Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1998	A*	`conf`	Protection in Programming-Language Translations. ICALP Martín Abadi
1998	—	`conf`	Protection in Programming-Language Translations: Mobile Object Systems (Abstract). ECOOP Workshops Martín Abadi
1998	A*	`conf`	Secure Implementation of Channel Abstractions. LICS Martín Abadi, Cédric Fournet, Georges Gonthier
1998	J	`jnl`	Secure Web Tunneling. Comput. Networks Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber
1998	—	`conf`	Two Facets of Authentication. CSFW Martín Abadi
1997	A*	`conf`	A Calculus for Cryptographic Protocols: The Spi Calculus. CCS Martín Abadi, Andrew D. Gordon
1997	—	`conf`	A Logic of Object-Oriented Programs. TAPSOFT Martín Abadi, K. Rustan M. Leino
1997	J	`jnl`	Explicit Communication Revisited: Two New Attacks on Authentication Protocols. IEEE Trans. Software Eng. Martín Abadi
1997	—	`conf`	On SDSI's Linked Local Name Spaces. CSFW Martín Abadi
1997	B	`conf`	Reasoning about Cryptographic Protocols in the Spi Calculus. CONCUR Martín Abadi, Andrew D. Gordon
1997	—	`conf`	Secrecy by Typing inSecurity Protocols. TACS Martín Abadi
1997	—	`conf`	Secure Implementation of Channel Abstractions. HOOTS Martín Abadi, Cédric Fournet, Georges Gonthier
1997	—	`ed.`	Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings TACS Martín Abadi, Takayasu Ito
1996	—	`book`	A Theory of Objects. Martín Abadi, Luca Cardelli
1996	J	`jnl`	A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. Martín Abadi, Luca Cardelli
1996	A*	`conf`	An Interpretation of Objects and Object Types. POPL Martín Abadi, Luca Cardelli, Ramesh Viswanathan
1996	A	`conf`	Analysis and Caching of Dependencies. ICFP Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy
1996	J	`jnl`	On Subtyping and Matching. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli
1996	—	`conf`	On TLA as a logic. NATO ASI DPD Martín Abadi, Stephan Merz
1996	J	`jnl`	Prudent Engineering Practice for Cryptographic Protocols. IEEE Trans. Software Eng. Martín Abadi, Roger M. Needham
1996	—	`conf`	Secure Network Objects. S&P Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
1996	A*	`conf`	Syntactic Considerations on Recursive Types. LICS Martín Abadi, Marcelo P. Fiore
1996	J	`jnl`	The Millicent Protocol for Inexpensive Electronic Commerce. World Wide Web J. Steven C. Glassman, Mark S. Manasse, Martín Abadi, Paul Gauthier, Patrick Sobalvarro
1995	—	`conf`	A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA Roberto Bellucci, Martín Abadi, Pierre-Louis Curien
1995	J	`jnl`	A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. Martín Abadi, Luca Cardelli
1995	B	`conf`	An Abstract Account of Composition. MFCS Martín Abadi, Stephan Merz
1995	J	`jnl`	An Imperative Object Calculus (Invited Paper). Theory Pract. Object Syst. Martín Abadi, Luca Cardelli
1995	—	`conf`	An Imperative Object Calculus. TAPSOFT Martín Abadi, Luca Cardelli
1995	J	`jnl`	Conjoining Specifications. ACM Trans. Program. Lang. Syst. Martín Abadi, Leslie Lamport
1995	J	`jnl`	Dynamic Typing in Polymorphic Languages. J. Funct. Program. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
1995	J	`jnl`	Methods as Assertions. Theory Pract. Object Syst. John Lamping, Martín Abadi
1995	A	`conf`	On Subtyping and Matching. ECOOP Martín Abadi, Luca Cardelli
1995	—	`conf`	The Millicent Protocol for Inexpensive Electronic Commerce. WWW (Fall) Steven C. Glassman, Mark S. Manasse, Martín Abadi, Paul Gauthier, Patrick Sobalvarro
1994	J	`jnl`	A Semantics for Static Type Inference in a Nondeterministic Language Inf. Comput. Martín Abadi
1994	A*	`conf`	A Semantics of Object Types LICS Martín Abadi, Luca Cardelli
1994	—	`conf`	A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification Martín Abadi, Leslie Lamport, Stephan Merz
1994	A	`conf`	A Theory of Primitive Objects - Scond-Order Systems. ESOP Martín Abadi, Luca Cardelli
1994	—	`conf`	A Theory of Primitive Objects - Untyped and First-Order Systems. TACS Martín Abadi, Luca Cardelli
1994	J	`jnl`	An Old-Fashined Recipe for Real-Time. ACM Trans. Program. Lang. Syst. Martín Abadi, Leslie Lamport
1994	J	`jnl`	Authentication in the Taos Operating System. ACM Trans. Comput. Syst. Edward Wobber, Martín Abadi, Michael Burrows
1994	J	`jnl`	Baby Modula-3 and a Theory of Objects. J. Funct. Program. Martín Abadi
1994	J	`jnl`	Decidability and Expressiveness for First-Order Logics of Probability Inf. Comput. Martín Abadi, Joseph Y. Halpern
1994	—	`conf`	Decomposing Specifications of Concurrent Systems. PROCOMET Martín Abadi, Leslie Lamport
1994	A	`conf`	Methods as Assertions. ECOOP John Lamping, Martín Abadi
1994	A*	`conf`	Open Systems in TLA. PODC Martín Abadi, Leslie Lamport
1994	—	`conf`	Prudent engineering practice for cryptographic protocols. S&P Martín Abadi, Roger M. Needham
1994	A*	`conf`	Subtyping and Parametricity LICS Gordon D. Plotkin, Martín Abadi, Luca Cardelli
1993	J	`jnl`	A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1993	—	`conf`	A Logic for Parametric Polymorphism. TLCA Gordon D. Plotkin, Martín Abadi
1993	J	`jnl`	A Logical View of Composition. Theor. Comput. Sci. Martín Abadi, Gordon D. Plotkin
1993	A*	`conf`	Authentication in the Taos Operating System. SOSP Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson
1993	J	`jnl`	Authentification and Delegation with Smart-Cards. Sci. Comput. Program. Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1993	J	`jnl`	Composing Specifications. ACM Trans. Program. Lang. Syst. Martín Abadi, Leslie Lamport
1993	—	`conf`	Extensible Grammars for Language Specialization. DBPL Luca Cardelli, Florian Matthes, Martín Abadi
1993	A*	`conf`	Formal Parametric Polymorphism. POPL Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1993	J	`jnl`	Formal Parametric Polymorphism. Theor. Comput. Sci. Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1992	J	`jnl`	Authentication in Distributed Systems: Theory and Practice. ACM Trans. Comput. Syst. Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1992	A*	`conf`	Linear Logic Without Boxes LICS Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
1992	A*	`conf`	The Geometry of Optimal Lambda Reduction. POPL Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
1991	A*	`conf`	A Calculus for Access Control in Distributed Systems. CRYPTO Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1991	A*	`conf`	A Logical View of Composition and Refinement. POPL Martín Abadi, Gordon D. Plotkin
1991	A*	`conf`	A Semantics for a Logic of Authentication (Extended Abstract). PODC Martín Abadi, Mark R. Tuttle
1991	—	`conf`	An Old-Fashioned Recipe for Real Time. REX Workshop Martín Abadi, Leslie Lamport
1991	—	`conf`	Authentication and Delegation with Smart-cards. TACS Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1991	A*	`conf`	Authentication in Distributed Systems: Theory and Practice. SOSP Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1991	J	`jnl`	Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1991	J	`jnl`	Explicit Substitutions. J. Funct. Program. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1991	J	`jnl`	Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
1991	J	`jnl`	Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View". Inf. Process. Lett. Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
1991	J	`jnl`	The Existence of Refinement Mappings. Theor. Comput. Sci. Martín Abadi, Leslie Lamport
1990	J	`jnl`	A Logic of Authentication. ACM Trans. Comput. Syst. Michael Burrows, Martín Abadi, Roger M. Needham
1990	A*	`conf`	A Per Model of Polymorphism and Recursive Types LICS Martín Abadi, Gordon D. Plotkin
1990	B	`conf`	An Axiomatization of Lamport's Temporal Logic of Actions. CONCUR Martín Abadi
1990	J	`jnl`	Corrigendum: The Power of Temporal Proofs. Theor. Comput. Sci. Martín Abadi
1990	A*	`conf`	Explicit Substitutions. POPL Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1990	J	`jnl`	Nonclausal Deduction in First-Order Temporal Logic J. ACM Martín Abadi, Zohar Manna
1990	J	`jnl`	Rejoinder to Nessett. ACM SIGOPS Oper. Syst. Rev. Michael Burrows, Martín Abadi, Roger M. Needham
1990	J	`jnl`	Secure Circuit Evaluation. J. Cryptol. Martín Abadi, Joan Feigenbaum
1989	A*	`conf`	A Logic of Authentication. SOSP Michael Burrows, Martín Abadi, Roger M. Needham
1989	—	`conf`	Composing Specifications. REX Workshop Martín Abadi, Leslie Lamport
1989	A*	`conf`	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) FOCS Martín Abadi, Joseph Y. Halpern
1989	A*	`conf`	Dynamic Typing in a Statically-Typed Language. POPL Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1989	A*	`conf`	Faithful Ideal Models for Recursive Polymorphic Types LICS Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
1989	J	`jnl`	On Hiding Information from an Oracle. J. Comput. Syst. Sci. Martín Abadi, Joan Feigenbaum, Joe Kilian
1989	A*	`conf`	Realizable and Unrealizable Specifications of Reactive Systems. ICALP Martín Abadi, Leslie Lamport, Pierre Wolper
1989	J	`jnl`	Temporal Logic Programming. J. Symb. Comput. Martín Abadi, Zohar Manna
1989	J	`jnl`	The Power of Temporal Proofs. Theor. Comput. Sci. Martín Abadi
1989	—	`conf`	The Scope of a Logic of Authentication. Distributed Computing And Cryptography Michael Burrows, Martín Abadi, Roger M. Needham
1988	A	`conf`	A Simple Protocol for Secure Circuit Evaluation. STACS Martín Abadi, Joan Feigenbaum
1988	B	`conf`	Authentication: A Practical Study in Belief and Action. TARK Michael Burrows, Martín Abadi, Roger M. Needham
1988	A*	`conf`	On Generating Solved Instances of Computational Problems. CRYPTO Martín Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra
1988	A*	`conf`	The Existence of Refinement Mappings LICS Martín Abadi, Leslie Lamport
1987	A*	`conf`	On Hiding Information from an Oracle (Extended Abstract) STOC Martín Abadi, Joan Feigenbaum, Joe Kilian
1987	—	`conf`	On hiding information from an oracle. SCT Martín Abadi, Joan Feigenbaum, Joe Kilian
1987	—	`conf`	Temporal Logic Programming. SLP Martín Abadi, Zohar Manna
1987	—	`—`	Temporal-logic theorem proving. Martín Abadi
1987	A*	`conf`	The Power of Temporal Proofs LICS Martín Abadi
1986	A*	`conf`	A Timely Resolution LICS Martín Abadi, Zohar Manna
1986	A	`conf`	Modal Theorem Proving. CADE Martín Abadi, Zohar Manna
1985	—	`conf`	Nonclausal Temporal Deduction. Logic of Programs Martín Abadi, Zohar Manna