Fred B. Schneider

发表

Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Robbert van Renesse, Fred B. Schneider, Håvard D. Johansen, 2015, APSys.
Fred B. Schneider, 2011, Dependable and Historic Computing.
Richard D. Schlichting, Fred B. Schneider, F. Schneider, 1984, TOPL.
Kenneth P. Birman, Fred B. Schneider, 2008 .
Fred B. Schneider, Dorothy E. Denning, 1980, 1980 IEEE Symposium on Security and Privacy.
Fred B. Schneider, Keith Marzullo, Sam Toueg, 1993 .
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2014, Mathematical Structures in Computer Science.
Fred B. Schneider, Keith Marzullo, Sam Toueg, 2013 .
Fred B. Schneider, David Gries, F. Schneider, 1995, Computer Science Today.
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 2003 .
Ralph E. Johnson, Fred B. Schneider, Ralph E. Johnson, 1985, PODC '85.
Fred B. Schneider, Richard Conway, Dale Skeen, 1985, Acta Informatica.
Fred B. Schneider, David Gries, F. Schneider, 2015 .
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 2006 .
Robbert van Renesse, Fred B. Schneider, Håvard D. Johansen, 2018, WPES@CCS.
Fred B. Schneider, Stephen R. Mahaney, F. Schneider, 1985, PODC '85.
Fred B. Schneider, Tom Roeder, F. Schneider, 2010, TOCS.
Fred B. Schneider, Lidong Zhou, Michael A. Marsh, 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).
Leslie Lamport, Fred B. Schneider, L. Lamport, 1984, Advanced Course: Distributed Systems.
Richard D. Schlichting, Fred B. Schneider, David Gries, 1984, Sci. Comput. Program..
Fred B. Schneider, F. Schneider, 1987 .
Emin Gün Sirer, Fred B. Schneider, Oliver Kennedy, 2006 .
Fred B. Schneider, Elisavet Kozyri, 2020, J. Comput. Secur..
Fred B. Schneider, Andrew C. Myers, 2004 .
Fred B. Schneider, 2007, IEEE Secur. Priv..
Fred B. Schneider, Arthur J. Bernstein, 1978, OPSR.
Martín Abadi, Bowen Alpern, Leslie Lamport, 1991, Inf. Process. Lett..
Úlfar Erlingsson, Fred B. Schneider, 1999, NSPW '99.
Gregory R. Andrews, Fred B. Schneider, F. Schneider, 1983, CSUR.
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Mário S. Alvim, Fred B. Schneider, Andre Scedrov, 2014, POST.
Fred B. Schneider, 2004, IEEE Secur. Priv..
Fred B. Schneider, Lidong Zhou, F. Schneider, 2005, IEEE Security & Privacy Magazine.
Fred B. Schneider, David Gries, 1993 .
Jennifer Widom, Fred B. Schneider, David Gries, 1987, POPL '87.
Bowen Alpern, Fred B. Schneider, F. Schneider, 1983, Inf. Process. Lett..
Fred B. Schneider, Robert Harper, J. Gregory Morrisett, 2001, Informatics.
Fred B. Schneider, Keith Marzullo, Dmitrii Zagorodnov, 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).
Leslie Lamport, Günter Hommel, Fred B. Schneider, 1985, Advanced Course: Distributed Systems.
Fred B. Schneider, Riccardo Pucella, 2010, J. Comput. Secur..
Deirdre K. Mulligan, Fred B. Schneider, 2011, IEEE Secur. Priv..
Fred B. Schneider, Dorothy E. Denning, 1981, Inf. Process. Lett..
Fred B. Schneider, Lidong Zhou, F. Schneider, 2005, IEEE Security & Privacy Magazine.
Ozalp Babaoglu, Fred B. Schneider, Mimi Bussan, 1983 .
Fred B. Schneider, Robert McCurley, 1986, Sci. Comput. Program..
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Fred B. Schneider, Arthur J. Bernstein, 1979 .
Fred B. Schneider, 2002, CACM.
Fred B. Schneider, David Gries, 1995, Inf. Process. Lett..
Emin Gün Sirer, Fred B. Schneider, Kevin Walsh, 2011, TSEC.
Leslie Lamport, Fred B. Schneider, 2016 .
Fred B. Schneider, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
Emin Gün Sirer, Fred B. Schneider, Dan Williams, 2008, OSDI.
Fred B. Schneider, F. Schneider, 1979, International Symposium on Distributed Data Bases.
Fred B. Schneider, David Gries, 1993 .
Fred B. Schneider, Gregory Morrisett, 1999 .
Fred B. Schneider, Keith Marzullo, Jon Dehn, 1994 .
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 2002, Softw. Pract. Exp..
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 1996, EW 7.
Bowen Alpern, Fred B. Schneider, F. Schneider, 1987, Logic in Computer Science.
Fred B. Schneider, David Gries, F. Schneider, 1993, Texts and Monographs in Computer Science.
Richard D. Schlichting, Fred B. Schneider, 1982, PODC '82.
Gregory R. Andrews, Fred B. Schneider, F. Schneider, 1986, Current Trends in Concurrency.
Fred B. Schneider, 2016, AJIL Unbound.
Fred B. Schneider, F. Schneider, 2013, IEEE Secur. Priv..
Fred B. Schneider, 2005, Distributed Computing.
Fred B. Schneider, Butler Lampson, Edward Balkovich, 1997 .
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 1999 .
Bowen Alpern, Fred B. Schneider, F. Schneider, 1989, TOPL.
Fred B. Schneider, 1997 .
Leslie Lamport, Fred B. Schneider, L. Lamport, 1985, POPL.
Steven M. Bellovin, Fred B. Schneider, Alan S. Inouye, 1998 .
Robbert van Renesse, Fred B. Schneider, R. V. Renesse, 2004, OSDI.
Fred B. Schneider, Nils Klarlund, F. Schneider, 1989 .
Fred B. Schneider, F. Schneider, 1980 .
Fred B. Schneider, Keith Marzullo, Bard Bloom, 1991, REX Workshop.
Úlfar Erlingsson, Fred B. Schneider, F. Schneider, 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
Fred B. Schneider, F. Schneider, 1997, CACM.
Fred B. Schneider, F. Schneider, 1986, IFIP Congress.
Fred B. Schneider, David D. Wright, 1983 .
Leslie Lamport, Fred B. Schneider, L. Lamport, 1984, Advanced Course: Distributed Systems.
Emin Gün Sirer, Fred B. Schneider, Dan Williams, 2011, SOSP.
Leslie Lamport, Fred B. Schneider, L. Lamport, 1984, TOPL.
Fred B. Schneider, F. Schneider, 2000, TSEC.
Fred B. Schneider, Greg Morrisett, 2005 .
Fred B. Schneider, Keith Marzullo, Sam Toueg, 1992 .
Deborah Estrin, Nate Foster, Fred B. Schneider, 2019, WPES@CCS.
Fred B. Schneider, Scott D. Stoller, F. Schneider, 1996, Formal Methods Syst. Des..
Fred B. Schneider, David Gries, 1994, CSEE.
Fred B. Schneider, David Gries, 1993 .
Fred B. Schneider, 1997 .
Rafael Pass, Fred B. Schneider, Tom Roeder, 2012, Journal of Cryptology.
Fred B. Schneider, Andrew C. Myers, Dexter Kozen, 2007 .
Fred B. Schneider, 2010, IEEE Secur. Priv..
Fred B. Schneider, Tom Roeder, John L. Manferdelli, 2013 .
Fred B. Schneider, Lidong Zhou, R. van Renesse, 2002 .
Michael R. Clarkson, Fred B. Schneider, F. Schneider, 2010 .
Steven M. Bellovin, Fred B. Schneider, Alan S. Inouye, 1999, IEEE Internet Comput..
Fred B. Schneider, Nils Klarlund, 1990 .
Emin Gün Sirer, Fred B. Schneider, Alan Shieh, 2011, SIGCOMM 2011.
Fred B. Schneider, Lorenzo Alvisi, 1996 .
Fred B. Schneider, F. Schneider, 1982 .
Fred B. Schneider, David Gries, F. Schneider, 1996, J. Log. Comput..
Fred B. Schneider, Josée Desharnais, Elisavet Kozyri, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Emin Gün Sirer, Fred B. Schneider, Alan Shieh, 2010, CoNEXT '10 Student Workshop.
Fred B. Schneider, Henk Meijer, Dorothy E. Denning, 1981, Inf. Process. Lett..
Fred B. Schneider, F. Schneider, 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Bowen Alpern, Fred B. Schneider, 2001 .
Michael R. Clarkson, Fred B. Schneider, Andrew C. Myers, 2009, J. Comput. Secur..
Abraham Silberschatz, Fred B. Schneider, Arthur J. Bernstein, 1978, IEEE Transactions on Software Engineering.
Fred B. Schneider, Thomas C. Bressoud, F. Schneider, 1996, TOCS.
Jennifer Widom, Fred B. Schneider, David Gries, 1987, TOPL.
Fred B. Schneider, 1995 .
Dejan S. Milojicic, Fred B. Schneider, F. Schneider, 2000, IEEE Distributed Syst. Online.
Richard D. Schlichting, Fred B. Schneider, 1983 .
Fred B. Schneider, 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
Fred B. Schneider, 2009, IEEE Secur. Priv..
Fred B. Schneider, 1996, NATO ASI DPD.
Bowen Alpern, Fred B. Schneider, F. Schneider, 1984, Inf. Process. Lett..
Fred B. Schneider, Andrew C. Myers, Owen Arden, 2016, Foundations of Security, Protocols, and Equational Reasoning.
Fred B. Schneider, F. Schneider, 1997, WDAG.
Fred B. Schneider, 2013, PLDI 2013.
Fred B. Schneider, Gregory Andrews, 1983, CSUR.
Robbert van Renesse, Danny Dolev, Fred B. Schneider, 2008, ICDCN.
Bowen Alpern, Fred B. Schneider, Alan J. Demers, 1986, Inf. Process. Lett..
Fred B. Schneider, Scott D. Stoller, F. Schneider, 1998, FTRTFT.
Fred B. Schneider, Kevin Walsh, K. Walsh, 2012 .
Kevin W. Hamlen, Fred B. Schneider, J. Gregory Morrisett, 2006, TOPL.
Fred B. Schneider, Yaron Minsky, F. Schneider, 2002 .
Robbert van Renesse, Fred B. Schneider, Lidong Zhou, 2002, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Fred B. Schneider, 2002, FASec.
Fred B. Schneider, Scott D. Stoller, F. Schneider, 1995, Sci. Comput. Program..
Fred B. Schneider, David Gries, Joan Krone, 1995, SIGCSE '95.
Fred B. Schneider, 1997 .
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 1995 .
Fred B. Schneider, David Gries, 1994 .
Kenneth P. Birman, Fred B. Schneider, F. Schneider, 2009, CACM.
Fred B. Schneider, F. Schneider, 2004, IEEE Security and Privacy.
Emin Gün Sirer, Fred B. Schneider, Dan Williams, 2005, SOSP '05.
Fred B. Schneider, Lidong Zhou, Lidong Zhou, 2001 .
Fred B. Schneider, Thomas C. Bressoud, Richard A. Brown, 1993 .
Fred B. Schneider, Dorothy E. Denning, 1980 .
Robbert van Renesse, Fred B. Schneider, Lidong Zhou, 2005, TSEC.
Fred B. Schneider, Keith Marzullo, Özalp Babaoglu, 2005, Real-Time Systems.
Fred B. Schneider, Scott D. Stoller, 1995, WDAG.
Robbert van Renesse, Danny Dolev, Fred B. Schneider, 2007 .
Steven M. Bellovin, Fred B. Schneider, F. Schneider, 1999 .
Fred B. Schneider, E. R McCurley, 1989 .
Fred B. Schneider, Arthur J. Bernstein, F. Schneider, 1978, Jerusalem Conference on Information Technology.
Fred B. Schneider, Lidong Zhou, Anna Redz, 2004 .
Fred B. Schneider, David Gries, 1993 .
Fred B. Schneider, Michael A. Marsh, F. Schneider, 2004, IEEE Transactions on Dependable and Secure Computing.
Bowen Alpern, Fred B. Schneider, F. Schneider, 2005, Distributed Computing.
Fred B. Schneider, Lidong Zhou, F. Schneider, 2004 .
Fred B. Schneider, Kevin Walsh, F. Schneider, 2012 .
Richard D. Schlichting, Fred B. Schneider, F. Schneider, 1983, TOCS.
Gregory R. Andrews, Fred B. Schneider, F. Schneider, 1983, CSUR.
Fred B. Schneider, C. W. Lermen, F. Schneider, 1980 .
Fred B. Schneider, Riccardo Pucella, F. Schneider, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 2015, IEEE Transactions on Parallel and Distributed Systems.
Fred B. Schneider, 2007, IEEE Secur. Priv..
Fred B. Schneider, F. Schneider, 1996, NATO ASI DPD.
Ozalp Babaoglu, Fred B. Schneider, F. Schneider, 1983 .
Fred B. Schneider, 1997, Graduate Texts in Computer Science.
Fred B. Schneider, F. Schneider, 1993 .
Úlfar Erlingsson, Fred B. Schneider, F. Schneider, 1999, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
Kenneth P. Birman, Fred B. Schneider, 2009, IEEE Security & Privacy Magazine.
Fred B. Schneider, F. Schneider, 1984, TOCS.
Fred B. Schneider, R. Moller, 1998, IEEE Concurrency.
Fred B. Schneider, Yaron Minsky, F. Schneider, 2003, Distributed Computing.
Fred B. Schneider, David Gries, F. Schneider, 1993 .
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 2003, Future Directions in Distributed Computing.
Martin R. Stytz, Fred B. Schneider, Carl E. Landwehr, 2005, IEEE Secur. Priv..
Leslie Lamport, Fred B. Schneider, 1989 .
Fred B. Schneider, 2013, IEEE Secur. Priv..
Emin Gün Sirer, Fred B. Schneider, William K. Josephson, 2004, IPTPS.
Ozalp Babaoglu, Fred B. Schneider, Keith Marzullo, 1990 .
Fred B. Schneider, F. Schneider, 2013, PLDI.
Fred B. Schneider, David Gries, F. Schneider, 1993 .
Fred B. Schneider, James E. Archer, Richard Conway, 1984, TOPL.
Fred B. Schneider, Eleanor Birrell, F. Schneider, 2014 .
Fred B. Schneider, David Gries, 1993 .
Gregory R. Andrews, Fred B. Schneider, F. Schneider, 1990 .
Fred B. Schneider, F. Schneider, 1986 .
Fred B. Schneider, Arthur J. Bernstein, F. Schneider, 1979 .
Fred B. Schneider, Limor Fix, F. Schneider, 1994, FTRTFT.
Fred B. Schneider, J G Morrisett, 2004 .
Fred B. Schneider, Keith Marzullo, Navin Budhiraja, 1991 .
Fred B. Schneider, David Gries, 1993 .
Fred B. Schneider, 2005, IEEE Secur. Priv..
Fred B. Schneider, Jaynarayan H. Lala, 2009, IEEE Secur. Priv..
Fred B. Schneider, 2005, Distributed Computing.
Emin Gün Sirer, Fred B. Schneider, Oliver Kennedy, 2009 .
Kevin W. Hamlen, Fred B. Schneider, J. Gregory Morrisett, 2006, PLAS '06.
Fred B. Schneider, 2009, IEEE Secur. Priv..
Robbert van Renesse, Johannes Gehrke, Fred B. Schneider, 2011, ArXiv.
Fred B. Schneider, Eleanor Birrell, 2013, IEEE Security & Privacy.
Fred B. Schneider, Keith Marzullo, Sam Toueg, 1992, WDAG.
Fred B. Schneider, 2018, Commun. ACM.
Fred B. Schneider, 2006, IEEE Secur. Priv..
Robbert van Renesse, Fred B. Schneider, Yaron Minsky, 1996, EW 7.
Robbert van Renesse, Fred B. Schneider, Nicolas Schiper, 2013, IEEE Transactions on Dependable and Secure Computing.
Fred B. Schneider, Limor Fix, F. Schneider, 1994, ICALP.
Fred B. Schneider, F. Schneider, 1995, Distributed Computing.
Úlfar Erlingsson, Fred B. Schneider, Ú. Erlingsson, 2004 .
Fred B. Schneider, 2008, IEEE Security & Privacy Magazine.
Gregory R. Andrews, Fred B. Schneider, F. Schneider, 1980 .
Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, 2004, Real-Time Systems.
Robbert van Renesse, Fred B. Schneider, Dag Johansen, 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).
Steven M. Bellovin, Fred B. Schneider, 1999, CACM.
Fred B. Schneider, F. Schneider, 2003, IEEE Secur. Priv..
Fred B. Schneider, David Gries, F. Schneider, 1993 .
Fred B. Schneider, F. Schneider, 1982, TOPL.
Fred B. Schneider, Eric Grosse, Lynette L. Millett, 2021, Commun. ACM.
Leslie Lamport, Fred B. Schneider, L. Lamport, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Kurt Rothermel, Friedemann Mattern, Fred B. Schneider, 2021 .
Fred B. Schneider, F. Schneider, 2022 .
Deirdre K. Mulligan, Fred B. Schneider, F. Schneider, 2011, Daedalus.
Bowen Alpern, Fred B. Schneider, F. Schneider, 1989 .
Fred B. Schneider, F. Schneider, 2000 .
Fred B. Schneider, Eleanor Birrell, Eleanor Birrell, 2017 .