Andre Scedrov

发表

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2014, Inf. Comput..
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2004, FoSSaCS.
Carolyn L. Talcott, Limin Jia, Boon Thau Loo, 2011, FMOODS/FORTE.
Gilles Barthe, John C. Mitchell, Andre Scedrov, 2018, Journal of Cryptology.
Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov, 2012, PODC '12.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2019, Foundations of Security, Protocols, and Equational Reasoning.
Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov, 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.
Anil Nerode, Jeffrey B. Remmel, Andre Scedrov, 1989, LICS 1989.
Gopalan Nadathur, Dale Miller, Andre Scedrov, 1987, Logic in Computer Science.
Gopalan Nadathur, Dale Miller, Frank Pfenning, 1991, Ann. Pure Appl. Log..
Max I. Kanovich, Andre Scedrov, Paul D. Rowe, 2011, Journal of Automated Reasoning.
Andre Scedrov, Jean-Yves Girard, Mitsuhiro Okada, 2010, Gene.
Andre Scedrov, Peter J. Freyd, 1987, LICS.
Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov, 2012, TACAS.
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2016, FCT.
Andre Scedrov, Dennis DeTurk, Wolfgang Ziller, 1995, Theor. Comput. Sci..
Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, LICS 1989.
Mário S. Alvim, Fred B. Schneider, Andre Scedrov, 2014, POST.
Mehdi Tibouchi, Gilles Barthe, Andre Scedrov, 2015, Public Key Cryptography.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Theor. Comput. Sci..
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2015, FG.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Rohit Chadha, Andre Scedrov, Steve Kremer, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Max I. Kanovich, Vivek Nigam, Andre Scedrov, 2018, IJCAR.
Andre Scedrov, Michael Beeson, 1984, J. Symb. Log..
Limin Jia, Boon Thau Loo, Andre Scedrov, 2011 .
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Electron. Notes Theor. Comput. Sci..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Andre Scedrov, Bruno Blanchet, Aaron D. Jaggard, 2008, ASIACCS '08.
Andre Scedrov, A. Scedrov, 1990, Bull. EATCS.
Andre Scedrov, 1985, Logic Colloquium.
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Andre Scedrov, 2000, SOEN.
Glyn Morrill, Max I. Kanovich, Andre Scedrov, 2017, FSCD.
John C. Mitchell, Vanessa Teague, Andre Scedrov, 2005, Theor. Comput. Sci..
Andre Scedrov, Jean-Yves Girard, Philip J. Scott, 1991 .
Michael Backes, Andre Scedrov, Iliano Cervesato, 2006, International Journal of Information Security.
John C. Mitchell, Andre Scedrov, Mark Mitchell, 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Andreas Blass, Andre Scedrov, 1992, Ann. Pure Appl. Log..
Andre Scedrov, Vladimir Itsykson, Victor Zakharov, 2017, Communications in Computer and Information Science.
John C. Mitchell, Andre Scedrov, A. Scedrov, 1992, CSL.
Andre Scedrov, John C. Mitchell, Paulo Mateus, 2001 .
Andre Scedrov, Harvey M. Friedman, 1986, Ann. Pure Appl. Log..
Andre Scedrov, Jean-Yves Girard, Philip J. Scott, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Andre Scedrov, Harvey M. Friedman, Peter J. Freyd, 1987, Ann. Pure Appl. Log..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Theor. Comput. Sci..
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2019, FG.
Andre Scedrov, Michael Backes, 2007, Electron. Notes Theor. Comput. Sci..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1998, CCS '98.
Val Tannen, Carl A. Gunter, Andre Scedrov, 1989 .
Vitaly Shmatikov, Rohit Chadha, John C. Mitchell, 2003, CONCUR.
Limin Jia, Boon Thau Loo, Vivek Nigam, 2011, Comput. Lang. Syst. Struct..
Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov, 2012, SIGCOMM '12.
Natarajan Shankar, John C. Mitchell, Patrick Lincoln, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
Michael Backes, Andre Scedrov, Iliano Cervesato, 2006, ESORICS.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Inf. Comput..
Limin Jia, Boon Thau Loo, Vivek Nigam, 2010 .
Limin Jia, Boon Thau Loo, Vivek Nigam, 2012, Comput. Lang. Syst. Struct..
Amy P. Felty, Gopalan Nadathur, Dale Miller, 1988, CADE.
Carolyn L. Talcott, Limin Jia, Jennifer Rexford, 2012, TNET.
Max I. Kanovich, Tajana Ban Kirigin, Andre Scedrov, 2020 .
Andre Scedrov, Gergei Bana, Pedro Adão, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Vivek Nigam, Andre Scedrov, Stepan Kuznetsov, 2017, Mathematical Structures in Computer Science.
Val Tannen, Carl A. Gunter, Andre Scedrov, 1990, LISP and Functional Programming.
Andre Scedrov, A. Scedrov, 1990 .
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2019, WoLLIC.
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2019, WoLLIC.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Rohit Chadha, Andre Scedrov, Steve Kremer, 2005, Journal of Automated Reasoning.
Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, 2014 .
Andre Scedrov, Iliano Cervesato, A. Scedrov, 2006, WoLLIC.
Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Max I. Kanovich, Andre Scedrov, Mitsuhiro Okada, 2003, MFPS.
Andre Scedrov, Philip J. Scott, E. S. Bainbridge, 1990, Theor. Comput. Sci..
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2010, Inf. Comput..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Bull. Symb. Log..
Thierry Coquand, Val Tannen, Carl A. Gunter, 1991, Inf. Comput..
Michael W. Mislove, Andre Scedrov, Stephen D. Brookes, 1999, MFPS.
Rohit Chadha, Andre Scedrov, A. Scedrov, 2003 .
Max I. Kanovich, Andre Scedrov, Paul D. Rowe, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Mehdi Tibouchi, Gilles Barthe, Andre Scedrov, 2016, IET Inf. Secur..
Michael W. Mislove, Andre Scedrov, Achim Jung, 1999 .
Akinori Yonezawa, Benjamin C. Pierce, Hideyuki Tokuda, 2003, Lecture Notes in Computer Science.
Andre Scedrov, Jean Yves Girard, Mitsuhiro Okada, 1996 .
Max I. Kanovich, Andre Scedrov, Mitsuhiro Okada, 2003, Theor. Comput. Sci..
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2017, J. Comput. Secur..
Gilles Barthe, John C. Mitchell, Andre Scedrov, 2014, IACR Cryptol. ePrint Arch..
Andre Scedrov, Lev D. Beklemishev, Ruy J. G. B. de Queiroz, 2012 .
Max I. Kanovich, Andre Scedrov, Mitsuhiro Okada, 1998, COTIC.
Vivek Nigam, Andre Scedrov, Stepan Kuznetsov, 2020, IJCAR.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018, ArXiv.
Andre Scedrov, Mitsuhiro Okada, Jean Yves Girard, 2003 .
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1994, Inf. Comput..
Andre Scedrov, Yves Lafont, 1996, Inf. Comput..
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Frank Wang, John C. Mitchell, Andre Scedrov, 2012, IHI '12.
Anil Nerode, Jeffrey B. Remmel, Andre Scedrov, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Andre Scedrov, Peter J. Freyd, P. Freyd, 1990, North-Holland mathematical library.
Andre Scedrov, Lev D. Beklemishev, Ruy J. G. B. de Queiroz, 2014, J. Comput. Syst. Sci..
Ran Canetti, David A. Wagner, Andre Scedrov, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Limin Jia, Boon Thau Loo, Vivek Nigam, 2010, LAM@LICS.
Ufuk Topcu, Boon Thau Loo, Andre Scedrov, 2013, 2013 21st IEEE International Conference on Network Protocols (ICNP).
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2013, ESORICS.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2015, POST.
Boon Thau Loo, Andre Scedrov, Anduo Wang, 2013 .
Andre Scedrov, Stepan Kuznetsov, Max Kanovich, 2020, Inf. Comput..
Andre Scedrov, Harvey M. Friedman, 1983, Ann. Pure Appl. Log..
John C. Mitchell, Andre Scedrov, Arnab Roy, 2008, ACNS.
Glyn Morrill, Max I. Kanovich, Andre Scedrov, 2018, FG.
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1993, Ann. Pure Appl. Log..
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2012, IHI '12.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999 .
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018 .
Max I. Kanovich, Andre Scedrov, Stepan Kuznetsov, 2016, LFCS.
Andre Scedrov, Peter J. Freyd, Aurelio Carboni, 1987, MFPS.
Patrick Lincoln, Andre Scedrov, P. Lincoln, 1994, Theor. Comput. Sci..
Jonathan Herzog, Andre Scedrov, Gergei Bana, 2005, ESORICS.
Andreas Blass, Andre Scedrov, 1986, J. Symb. Log..
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Andre Scedrov, Jean-Yves Girard, Philip J. Scott, 1992, Theor. Comput. Sci..
Vitaly Shmatikov, Rohit Chadha, John C. Mitchell, 2005, J. Log. Algebraic Methods Program..
Val Tannen, Carl A. Gunter, Andre Scedrov, 1989 .
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, World Congress on Formal Methods.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2005, WITS '05.
Rohit Chadha, Max I. Kanovich, Andre Scedrov, 2001, CCS '01.
Luca Cardelli, John C. Mitchell, Andre Scedrov, 1991, TACS.
John C. Mitchell, Andre Scedrov, Ajith Ramanathan, 2006, TCC.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2012, RTA.
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2014, Comput. Lang. Syst. Struct..
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2003, ISSS.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2016, FORMATS.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Birgit Pfitzmann, Michael Backes, Andre Scedrov, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Andre Scedrov, Harvey M. Friedman, H. Friedman, 1984, Ann. Pure Appl. Log..
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, 2010 .
Tajana Ban Kirigin, Andre Scedrov, Carolyn Talcott, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2018, CPS-SPC@CCS.
Andre Scedrov, Iliano Cervesato, Aaron D. Jaggard, 2006, Information and Computation.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2017, Math. Struct. Comput. Sci..
Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, 2021, Protocols, Strands, and Logic.
Andre Scedrov, Stepan Kuznetsov, Max Kanovich, 2020, Journal of Logic, Language and Information.
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2021, J. Comput. Secur..
Andre Scedrov, Stepan Kuznetsov, Max Kanovich, 2021, J. Log. Lang. Inf..
Carolyn L. Talcott, Max I. Kanovich, Tajana Ban Kirigin, 2021, ICISSP.
Andre Scedrov, A. Scedrov, 1995 .
Carl A. Gunter, Andre Scedrov, Steve Zdancewic, 2003 .
Thierry Coquand, Carl A. Gunter, Andre Scedrov, 1991 .
Andre Scedrov, 1988 .
Andre Scedrov, Jean-Yves Girard, Philip J. Scott, 1992 .
Andre Scedrov, Philip J. Scott, Peter Freyd, 1990 .
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1995, LICS 1995.
Andre Scedrov, Bruno Blanchet, Aaron D. Jaggard, 2009 .
Max I. Kanovich, Andre Scedrov, Paul D. Rowe, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1995 .