Martín Abadi

发表

Martín Abadi, M. Abadi, 1999, FoSSaCS.
Martín Abadi, Boon Thau Loo, M. Abadi, 2007, NetDB.
Martín Abadi, Leslie Lamport, L. Lamport, 1991, TOPL.
Martín Abadi, Joan Feigenbaum, Joe Kilian, 1987, J. Comput. Syst. Sci..
Martín Abadi, Andrew D. Gordon, M. Abadi, 1998, Nord. J. Comput..
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2008, J. Log. Algebraic Methods Program..
Martín Abadi, M. Abadi, 1989, Theor. Comput. Sci..
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Martín Abadi, Roger M. Needham, M. Abadi, 1994, Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.
Martín Abadi, Fang Yu, Yinglian Xie, 2013, AISec.
Martín Abadi, Yinglian Xie, Ted Wobber, 2013, HotOS.
Martín Abadi, Luca Cardelli, M. Abadi, 1996 .
Martín Abadi, Luca Cardelli, M. Abadi, 1994, TACS.
Martín Abadi, Andrew D. Gordon, M. Abadi, 1997, CONCUR.
Martín Abadi, Michael Isard, Derek Gordon Murray, 2016, Commun. ACM.
Martín Abadi, Georges Gonthier, Benjamin Werner, 2004, FoSSaCS.
Martín Abadi, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Martín Abadi, M. Abadi, 1997, Proceedings 10th Computer Security Foundations Workshop.
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, 1993, Theor. Comput. Sci..
Martín Abadi, Andrew D. Gordon, Cédric Fournet, 2008, ESORICS.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Alberto Lluch Lafuente, A. Lafuente, 2013, Lecture Notes in Computer Science.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1989, POPL '89.
Martín Abadi, Stephen N. Freund, Cormac Flanagan, 2006, TOPL.
Martín Abadi, M. Abadi, 1987 .
Martín Abadi, Michael Isard, Derek Gordon Murray, 2018, EuroSys.
Martín Abadi, Bowen Alpern, Leslie Lamport, 1991, Inf. Process. Lett..
Martín Abadi, 2009, FOSAD.
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2016 .
Martín Abadi, Jean-Jacques Lévy, Georges Gonthier, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Cédric Fournet, 2004, Theor. Comput. Sci..
Martín Abadi, George C. Necula, Úlfar Erlingsson, 2006, OSDI '06.
Martín Abadi, Luca Cardelli, 1994, ESOP.
Martín Abadi, Fang Yu, Yinglian Xie, 2013, ASIA CCS '13.
Martín Abadi, Takayasu Ito, P. Wadler, 1991, Lecture Notes in Computer Science.
Martín Abadi, Bogdan Warinschi, Mathieu Baudet, 2006, J. Comput. Secur..
Martín Abadi, Timothy L. Harris, Katherine F. Moore, 2008, CONCUR.
Martín Abadi, Zohar Manna, M. Abadi, 1989, J. Symb. Comput..
Martín Abadi, Michael Burrows, Ted Wobber, 2003, ASIAN.
Martín Abadi, Timothy L. Harris, Mojtaba Mehrara, 2009, PPoPP '09.
Martín Abadi, Fang Yu, Yinglian Xie, 2011, USENIX Security Symposium.
Martín Abadi, Úlfar Erlingsson, Kunal Talwar, 2016, ICLR.
Martín Abadi, Nathan Whitehead, Jordan Johnson, 2007, ATVA.
Martín Abadi, Arnar Birgisson, Frank McSherry, 2011, PLAS '11.
Martín Abadi, Luca Cardelli, 1995, TAPSOFT.
Martín Abadi, 2001, PODC '01.
Martín Abadi, Cédric Fournet, Georges Gonthier, 1999, Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).
Martín Abadi, Cédric Fournet, Georges Gonthier, 2002, Inf. Comput..
Martín Abadi, Pierre Wolper, Leslie Lamport, 1989, ICALP.
Martín Abadi, Ankur Taly, Himabindu Pucha, 2015, Programming Languages with Applications to Biology and Security.
Martín Abadi, Michael Burrows, Roger M. Needham, 1990, TOCS.
Martín Abadi, Leslie Lamport, 1989, REX Workshop.
Martín Abadi, M. Abadi, 1997, IEEE Trans. Software Eng..
Martín Abadi, Thomas H. Austin, Cormac Flanagan, 2012, APLAS.
Martín Abadi, Butler W. Lampson, Michael Burrows, 1991, CRYPTO.
Martín Abadi, Bruno Blanchet, 2005, Sci. Comput. Program..
Martín Abadi, Andrew D. Gordon, 1999, Inf. Comput..
Martín Abadi, 2007, Electron. Notes Theor. Comput. Sci..
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Luca Cardelli, 1995, Sci. Comput. Program..
Martín Abadi, Cormac Flanagan, 1999, CONCUR.
Martín Abadi, Luca Cardelli, Gordon D. Plotkin, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Zohar Manna, M. Abadi, 1986, CADE.
Martín Abadi, Stephan Merz, Leslie Lamport, 2016, Formal Systems Specification.
Martín Abadi, Gordon Plotkin, Jérémy Planul, 2014 .
Martín Abadi, Zohar Manna, M. Abadi, 1985, Logic of Programs.
Martín Abadi, Bruno Blanchet, M. Abadi, 2002, POPL '02.
Martín Abadi, Steve Kremer, 2014, Lecture Notes in Computer Science.
Martín Abadi, Cédric Fournet, Georges Gonthier, 1999, FSTTCS.
Martín Abadi, Aurko Roy, Tom B. Brown, 2017, ArXiv.
Martín Abadi, Véronique Cortier, M. Abadi, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Martín Abadi, M. Abadi, 1994, Journal of Functional Programming.
Martín Abadi, Dan Boneh, Gil Segev, 2013, IACR Cryptol. ePrint Arch..
Martín Abadi, Butler W. Lampson, Michael Burrows, 1991, TOPL.
Martín Abadi, K. Rustan M. Leino, M. Abadi, 1997, Verification: Theory and Practice.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Edward Wobber, Raymie Stata, 1998, Comput. Networks.
Martín Abadi, Roger M. Needham, M. Abadi, 1994, IEEE Trans. Software Eng..
Martín Abadi, M. Abadi, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Martín Abadi, Joan Feigenbaum, J. Feigenbaum, 1990, Journal of Cryptology.
Martín Abadi, Joan Feigenbaum, Joe Kilian, 1987, Symposium on the Theory of Computing.
Martín Abadi, Gordon D. Plotkin, Jérémy Planul, 2013, MFPS.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Joan Feigenbaum, Joe Kilian, 1987, STOC '87.
Martín Abadi, Gordon D. Plotkin, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Martín Abadi, Nathan Whitehead, M. Abadi, 2005, LPAR.
Martín Abadi, Leslie Lamport, 1994, PROCOMET.
Martín Abadi, M. Abadi, 2007, FOSAD.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1991, Int. J. Found. Comput. Sci..
Martín Abadi, Zohar Manna, M. Abadi, 1990, JACM.
Martín Abadi, Michael Burrows, Roger M. Needham, 1988, TARK.
Martín Abadi, Michael Isard, M. Abadi, 2015, NFM.
Martín Abadi, Michael Burrows, Roger M. Needham, 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
Martín Abadi, Martin Wattenberg, Michael Isard, 2016, ArXiv.
Martín Abadi, Gordon D. Plotkin, 1993, Theor. Comput. Sci..
Martín Abadi, Leslie Lamport, L. Lamport, 1994, PODC '94.
Martín Abadi, Daniel R. Simon, Ted Wobber, 2007, EuroSys '07.
Martín Abadi, Ross McIlroy, Timothy L. Harris, 2011, OOPSLA '11.
Martín Abadi, Michael Isard, M. Abadi, 2015, POST.
Martín Abadi, Michael Isard, M. Abadi, 2015, FORTE.
Martín Abadi, Luca Cardelli, Ramesh Viswanathan, 1996, POPL '96.
Martín Abadi, Bruno Blanchet, 2001, FoSSaCS.
Martín Abadi, Dieter Gollmann, Roberto Gorrieri, 1998, CSFW.
Martín Abadi, Leslie Lamport, 1988, LICS.
Martín Abadi, Butler W. Lampson, Michael Burrows, 1991, TACS.
Martín Abadi, Jan Jürjens, M. Abadi, 2001, TACS.
Martín Abadi, Phillip Rogaway, P. Rogaway, 2000, Journal of Cryptology.
Martín Abadi, Fang Yu, Yinglian Xie, 2011, WWW.
Martín Abadi, Cédric Fournet, M. Abadi, 2003, NDSS.
Martín Abadi, M. Abadi, 2011 .
Martín Abadi, Patrick Sobalvarro, Mark S. Manasse, 1995, World Wide Web J..
Martín Abadi, Cormac Flanagan, M. Abadi, 1999, ESOP.
Martín Abadi, Jean-Jacques Lévy, Georges Gonthier, 1992, POPL '92.
Martín Abadi, Luca Cardelli, M. Abadi, 1995 .
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2004, ESOP.
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, 1993, POPL '93.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, 1995, Journal of Functional Programming.
Martín Abadi, Gordon D. Plotkin, M. Abadi, 1993, TLCA.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, M. Abadi, 2015, FASE.
Martín Abadi, Zohar Manna, 1986, LICS.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, David G. Andersen, Martín Abadi, 2016, ArXiv.
Martín Abadi, Butler W. Lampson, Michael Burrows, 1993, Sci. Comput. Program..
Martín Abadi, John Lamping, M. Abadi, 1994, Theory Pract. Object Syst..
Martín Abadi, Fang Yu, Stefan Savage, 2010, Hotnets-IX.
Martín Abadi, 2008, CCS.
Martín Abadi, Úlfar Erlingsson, Mihai Budiu, 2005, ICFEM.
Martín Abadi, Fang Yu, Yinglian Xie, 2009, SIGCOMM '09.
Martín Abadi, Michael Isard, Timothy L. Harris, 2011, TOPL.
Martín Abadi, Michael Burrows, Roger M. Needham, 1990, OPSR.
Martín Abadi, J. Gregory Morrisett, Andrei Sabelfeld, 2005, J. Funct. Program..
Martín Abadi, Bruno Blanchet, M. Abadi, 2001, Theor. Comput. Sci..
Martín Abadi, Timothy L. Harris, M. Abadi, 2009, CONCUR.
Martín Abadi, 2008, DEON.
Martín Abadi, Butler W. Lampson, Michael Burrows, 1993, SOSP '93.
Martín Abadi, Carl A. Gunter, Pankaj Kakkar, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Martín Abadi, Timothy L. Harris, Katherine F. Moore, 2010, Inf. Comput..
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Michael Burrows, Edward Wobber, 1994, TOCS.
Martín Abadi, Cédric Fournet, Georges Gonthier, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Abadi, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Bogdan Warinschi, M. Abadi, 2005, PODS '05.
Martín Abadi, Marcelo P. Fiore, M. Abadi, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Michael Burrows, Edward Wobber, 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.
Martín Abadi, Joseph Y. Halpern, M. Abadi, 1989, 30th Annual Symposium on Foundations of Computer Science.
Martín Abadi, Ted Wobber, Andrew Birrell, 2005, HotOS.
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2004, TSEC.
Martín Abadi, Takayasu Ito, M. Abadi, 1991, Lecture Notes in Computer Science.
Martín Abadi, Marcelo P. Fiore, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Martín Abadi, Phillip Rogaway, P. Rogaway, 2001, Journal of Cryptology.
Martín Abadi, Luca Cardelli, M. Abadi, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Leslie Lamport, 1994, TOPL.
Martín Abadi, Luca Cardelli, M. Abadi, 1995, TOPL.
Martín Abadi, Luca Cardelli, Florian Matthes, 1993, DBPL.
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Martín Abadi, Luca Cardelli, M. Abadi, 1996, Monographs in Computer Science.
Martín Abadi, Úlfar Erlingsson, Li Zhang, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Martín Abadi, Deepak Garg, M. Abadi, 2008, FoSSaCS.
Martín Abadi, M. Abadi, 2000, CRYPTO.
Martín Abadi, Raymie Stata, 1999, TOPL.
Martín Abadi, Avik Chaudhuri, M. Abadi, 2005, FMSE '05.
Martín Abadi, Ted Wobber, M. Abadi, 2004, FORTE.
Martín Abadi, Anindya Banerjee, Jon G. Riecke, 1999, POPL '99.
Martín Abadi, Joan Feigenbaum, 1988, STACS.
Martín Abadi, Bogdan Warinschi, Mathieu Baudet, 2010, J. Comput. Secur..
Martín Abadi, Thomas H. Austin, Cormac Flanagan, 2012 .
Martín Abadi, Joan Feigenbaum, Andrei Z. Broder, 1988, CRYPTO.
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Martín Abadi, Gordon D. Plotkin, 1991, POPL '91.
Martín Abadi, Fang Yu, Yinglian Xie, 2010, USENIX Security Symposium.
Martín Abadi, Michael Isard, Timothy L. Harris, 2009, CC.
Martín Abadi, M. Abadi, 1990, Theor. Comput. Sci..
Martín Abadi, Cédric Fournet, Bruno Blanchet, 2016, J. ACM.
Martín Abadi, Andrew D. Gordon, M. Abadi, 1997, CCS '97.
Martín Abadi, Cédric Fournet, M. Abadi, 2001, POPL '01.
Martín Abadi, Quoc V. Le, Andrew McCallum, 2016, ICLR.
Martín Abadi, James R. Larus, Galen C. Hunt, 2005 .
Martín Abadi, Úlfar Erlingsson, Mihai Budiu, 2006, ASID '06.
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, 2008, Concurrency, Graphs and Models.
Martín Abadi, Michael Burrows, Roger M. Needham, 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
Martín Abadi, Pierre-Louis Curien, Roberto Bellucci, 1995, TLCA.
Martín Abadi, Boon Thau Loo, Wenchao Zhou, 2009, 2009 IEEE 25th International Conference on Data Engineering.
Martín Abadi, Stephan Merz, M. Abadi, 1996, NATO ASI DPD.
Martín Abadi, Leslie Lamport, L. Lamport, 1995, TOPL.
Martín Abadi, Michael Burrows, Edward Wobber, 1999, Secure Internet Programming.
Martín Abadi, Carl A. Gunter, Pankaj Kakkar, 2003 .
Martín Abadi, Gavin M. Bierman, Mads Torgersen, 2014, ECOOP.
Martín Abadi, Véronique Cortier, 2006, Theor. Comput. Sci..
Martín Abadi, Luca Cardelli, Florian Matthes, 1994 .
Martín Abadi, Bogdan Warinschi, Mathieu Baudet, 2006 .
Martín Abadi, Bogdan Warinschi, M. Abadi, 2005, ICALP.
Martín Abadi, 1999, Secure Internet Programming.
Martín Abadi, 2003, ECOOP.
Martín Abadi, Michael Isard, 2015, ArXiv.
Martín Abadi, M. Abadi, 1999, JACM.
Martín Abadi, Mark R. Tuttle, M. Abadi, 1991, PODC '91.
Martín Abadi, Jean-Jacques Lévy, Luca Cardelli, 1989, POPL '90.
Martín Abadi, Gordon D. Plotkin, M. Abadi, 2009, POPL '09.
Martín Abadi, Úlfar Erlingsson, Mihai Budiu, 2005, CCS '05.
Martín Abadi, Joseph Y. Halpern, 1994, Inf. Comput..
Martín Abadi, Stephan Merz, M. Abadi, 1995, MFCS.
Martín Abadi, Avik Chaudhuri, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Martín Abadi, Luca Cardelli, 1996 .
Martín Abadi, Michael Burrows, Roger M. Needham, 1989, Distributed Computing And Cryptography.
Martín Abadi, Fang Yu, Yinglian Xie, 2012, CCS '12.
Martín Abadi, Phillip Rogaway, 2007, Journal of Cryptology.
Martín Abadi, Luca Cardelli, 1995, ECOOP.
Martín Abadi, Cédric Fournet, Georges Gonthier, 2000, POPL '00.
Martín Abadi, Leslie Lamport, L. Lamport, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Martín Abadi, George C. Necula, Nathan Whitehead, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Martín Abadi, M. Abadi, 1997, TACS.
Martín Abadi, Derek Gordon Murray, Frank McSherry, 2013, FMOODS/FORTE.
Martín Abadi, Cédric Fournet, Georges Gonthier, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Abadi, Gordon D. Plotkin, Frank McSherry, 2015, FoSSaCS.
Martín Abadi, M. Abadi, 1998, ICALP.
Martín Abadi, Véronique Cortier, M. Abadi, 2004, Theor. Comput. Sci..
Martín Abadi, Gordon D. Plotkin, M. Abadi, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Martín Abadi, Cédric Fournet, Ricardo Corin, 2006, APLAS.
Martín Abadi, Jérémy Planul, 2013, POST.
Martín Abadi, Leslie Lamport, L. Lamport, 1989, TOPL.
Martín Abadi, Michael Isard, Timothy L. Harris, 2008, POPL '08.
Martín Abadi, Butler W. Lampson, Edward P. Wobber, 1991, SOSP '91.
Martín Abadi, K. Rustan M. Leino, 2003, Verification: Theory and Practice.
Martín Abadi, Gordon D. Plotkin, Jérémy Planul, 2013, MFPS.
Martín Abadi, Luca Cardelli, M. Abadi, 1995, Theory Pract. Object Syst..
Martín Abadi, Katia Hayati, 2004, Privacy Enhancing Technologies.
Martín Abadi, Cédric Fournet, M. Abadi, 2002, ISSS.
Martín Abadi, M. Abadi, 1990 .
Martín Abadi, Luca Cardelli, Gordon Plotkin, 1993 .
Martín Abadi, Cédric Fournet, M. Abadi, 2001, POPL '01.
Martín Abadi, Gordon D. Plotkin, Dimitrios Vytiniotis, 2019 .