Fred B. Schneider

Publication Activity (10 Years)

Years Active: 1978-2022
Publications (10 Years): 12

Top Venues

Commun. ACM

IEEE Secur. Priv.

CSF

WPES@CCS

Publications

Yunhe Liu, Nate Foster, Fred B. Schneider
Causal network telemetry. EuroP4@CoNEXT (2022)
Eric Grosse, Fred B. Schneider, Lynette I. Millett
Implementing insider defenses. Commun. ACM 64 (5) (2021)
Leslie Lamport, Fred B. Schneider
Verifying Hyperproperties With TLA. CSF (2021)
Elisavet Kozyri, Fred B. Schneider
RIF: Reactive information flow labels. J. Comput. Secur. 28 (2) (2020)
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF (2019)
Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy. WPES@CCS (2019)
Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning (2019)
Fred B. Schneider
Putting trust in security engineering. Commun. ACM 61 (5) (2018)
Fred B. Schneider
History and Context for Defining Liveness: Winner 2018 Edsger W. Dijkstra Prize. SIGACT News 49 (4) (2018)
Fred B. Schneider
Impediments with policy interventions to foster cybersecurity. Commun. ACM 61 (3) (2018)
Eleanor Birrell, Anders T. Gjerdrum, Robbert van Renesse, Håvard D. Johansen, Dag Johansen, Fred B. Schneider
SGX Enforcement of Use-Based Privacy. WPES@CCS (2018)
Fred B. Schneider
Technical Perspective: IronFleet simplifies proving safety and liveness properties. Commun. ACM 60 (7) (2017)
Robbert van Renesse, Nicolas Schiper, Fred B. Schneider
Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab. IEEE Trans. Dependable Secur. Comput. 12 (4) (2015)
Håvard D. Johansen, Eleanor Birrell, Robbert van Renesse, Fred B. Schneider, Magnus Stenhaug, Dag Johansen
Enforcing Privacy Policies with Meta-Code. APSys (2015)
Åge Kvalnes, Dag Johansen, Robbert van Renesse, Fred B. Schneider, Steffen Viken Valvåg
Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling. IEEE Trans. Parallel Distributed Syst. 26 (10) (2015)
Michael R. Clarkson, Fred B. Schneider
Quantification of integrity. Math. Struct. Comput. Sci. 25 (2) (2015)
Mário S. Alvim, Andre Scedrov, Fred B. Schneider
When Not All Bits Are Equal: Worth-Based Information Flow. POST (2014)
Fred B. Schneider
Breaking-in Research. IEEE Secur. Priv. 11 (2) (2013)
Fred B. Schneider
Programming languages in security: keynote. PLDI (2013)
Fred B. Schneider
Cybersecurity Education in Universities. IEEE Secur. Priv. 11 (4) (2013)
Eleanor Birrell, Fred B. Schneider
Federated Identity Management Systems: A Privacy-Based Characterization. IEEE Secur. Priv. 11 (5) (2013)
Robbert van Renesse, Nicolas Schiper, Fred B. Schneider
Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab. CoRR (2013)
Tom Roeder, Rafael Pass, Fred B. Schneider
Multi-Verifier Signatures. J. Cryptol. 25 (2) (2012)
Alan Shieh, Emin Gün Sirer, Fred B. Schneider
NetQuery: a knowledge plane for reasoning about network properties. SIGCOMM (2011)
Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider
Logical attestation: an authorization architecture for trustworthy computing. SOSP (2011)
Robbert van Renesse, Fred B. Schneider, Johannes Gehrke
Nerio: Leader Election and Edict Ordering CoRR (2011)
Fred B. Schneider, Kevin Walsh, Emin Gün Sirer
Nexus authorization logic (NAL): Design rationale and applications. ACM Trans. Inf. Syst. Secur. 14 (1) (2011)
Fred B. Schneider
Beyond Traces and Independence. Dependable and Historic Computing (2011)
Fred B. Schneider, Deirdre K. Mulligan
A Doctrinal Thesis. IEEE Secur. Priv. 9 (4) (2011)
Fred B. Schneider
Fumbling the Future, Again. IEEE Secur. Priv. 8 (4) (2010)
Michael R. Clarkson, Fred B. Schneider
Hyperproperties. J. Comput. Secur. 18 (6) (2010)
Alan Shieh, Emin Gün Sirer, Fred B. Schneider
NetQuery: a knowledge plane for reasoning about network properties. StudentWorkshop@CoNEXT (2010)
Fred B. Schneider
Beyond hacking: an SOS! ICSE (1) (2010)
Riccardo Pucella, Fred B. Schneider
Independence from obfuscation: A semantic framework for diversity. J. Comput. Secur. 18 (5) (2010)
Fred B. Schneider, Lidong Zhou
Implementing Trustworthy Services Using Replicated State Machines. Replication (2010)
Tom Roeder, Fred B. Schneider
Proactive obfuscation. ACM Trans. Comput. Syst. 28 (2) (2010)
Michael R. Clarkson, Fred B. Schneider
Quantification of Integrity. CSF (2010)
Fred B. Schneider
Accountability for Perfection. IEEE Secur. Priv. 7 (2) (2009)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Quantifying information flow with beliefs. J. Comput. Secur. 17 (5) (2009)
Kenneth P. Birman, Fred B. Schneider
The Monoculture Risk Put into Context. IEEE Secur. Priv. 7 (1) (2009)
Ken Birman, Fred B. Schneider
Viewpoint - Program committee overload in systems. Commun. ACM 52 (5) (2009)
Fred B. Schneider
Labeling-in Security. IEEE Secur. Priv. 7 (6) (2009)
Jaynarayan H. Lala, Fred B. Schneider
IT Monoculture Security Risks and Defenses. IEEE Secur. Priv. 7 (1) (2009)
Fred B. Schneider
Network Neutrality versus Internet Trustworthiness? IEEE Secur. Priv. 6 (4) (2008)
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
Device Driver Safety Through a Reference Validation Mechanism. OSDI (2008)
Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev
The Building Blocks of Consensus. ICDCN (2008)
Michael R. Clarkson, Fred B. Schneider
Hyperproperties. CSF (2008)
Fred B. Schneider
Mapping the Security Landscape: A Role for Language Techniques. CONCUR (2007)
Fred B. Schneider
Technology Scapegoats and Policy Saviors. IEEE Secur. Priv. 5 (5) (2007)
Fred B. Schneider
Credentials-Based Authorization: Evaluation and Implementation. ICALP (2007)
Fred B. Schneider
Trusted Computing in Context. IEEE Secur. Priv. 5 (2) (2007)
Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider
Certified In-lined Reference Monitoring on .NET. PLAS (2006)
Fred B. Schneider
Here Be Dragons. IEEE Secur. Priv. 4 (3) (2006)
Riccardo Pucella, Fred B. Schneider
Independence From Obfuscation: A Semantic Framework for Dive. CSFW (2006)
Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider
Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28 (1) (2006)
Scott D. Stoller, Fred B. Schneider
Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods Syst. Des. 26 (2) (2005)
Susan Landau, Martin R. Stytz, Carl E. Landwehr, Fred B. Schneider
Overview of Cyber Security: A Crisis of Prioritization. IEEE Secur. Priv. 3 (3) (2005)
Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz
Distributed Blinding for Distributed ElGamal Re-Encryption. ICDCS (2005)
Lidong Zhou, Fred B. Schneider, Robbert van Renesse
APSS: proactive secret sharing in asynchronous systems. ACM Trans. Inf. Syst. Secur. 8 (3) (2005)
Fred B. Schneider
It Depends on What You Pay. IEEE Secur. Priv. 3 (3) (2005)
Fred B. Schneider, Lidong Zhou
Implementing Trustworthy Services Using Replicated State Machines. IEEE Secur. Priv. 3 (5) (2005)
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
Belief in Information Flow. CSFW (2005)
Michael A. Marsh, Fred B. Schneider
CODEX: A Robust and Secure Secret Distribution System. IEEE Trans. Dependable Secur. Comput. 1 (1) (2004)
Fred B. Schneider
Time Out for Station Identification. IEEE Secur. Priv. 2 (5) (2004)
Robbert van Renesse, Fred B. Schneider
Chain Replication for Supporting High Throughput and Availability. OSDI (2004)
Fred B. Schneider
From the Editors: The Next Digital Divide. IEEE Secur. Priv. 2 (1) (2004)
William K. Josephson, Emin Gün Sirer, Fred B. Schneider
Peer-to-Peer Authentication with a Distributed Single Sign-On Service. IPTPS (2004)
Dag Johansen, Robbert van Renesse, Fred B. Schneider
WAIF: Web of Asynchronous Information Filters. Future Directions in Distributed Computing (2003)
Yaron Minsky, Fred B. Schneider
Tolerating malicious gossip. Distributed Comput. 16 (1) (2003)
Fred B. Schneider
Least Privilege and More. IEEE Secur. Priv. 1 (5) (2003)
Fred B. Schneider
Lifting Reference Monitors from the Kernel. FASec (2002)
Lidong Zhou, Fred B. Schneider, Robbert van Renesse
COCA: A secure distributed online certification authority. ACM Trans. Comput. Syst. 20 (4) (2002)
Dag Johansen, Kåre J. Lauvset, Robbert van Renesse, Fred B. Schneider, Nils P. Sudmann, Kjetil Jacobsen
A TACOMA retrospective. Softw. Pract. Exp. 32 (6) (2002)
Fred B. Schneider
Secure systems conundrum. Commun. ACM 45 (10) (2002)
Fred B. Schneider
Language-Based Security: What's Needed and Why. SAS (2001)
Fred B. Schneider, J. Gregory Morrisett, Robert Harper
A Language-Based Approach to Security. Informatics (2001)
Fred B. Schneider
Open Source in Security: Visiting the Bizarre. IEEE Symposium on Security and Privacy (2000)
Fred B. Schneider
Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3 (1) (2000)
Úlfar Erlingsson, Fred B. Schneider
IRM Enforcement of Java Stack Inspection. IEEE Symposium on Security and Privacy (2000)
Dejan S. Milojicic, Fred B. Schneider
Interview - Fred B. Schneider on Distributed Computing. IEEE Distributed Syst. Online 1 (1) (2000)
Fred B. Schneider, Steven M. Bellovin, Alan S. Inouye
Building Trustworthy Systems: Lessons from the PTN and Internet. IEEE Internet Comput. 3 (6) (1999)
Úlfar Erlingsson, Fred B. Schneider
SASI enforcement of security policies: a retrospective. NSPW (1999)
Fred B. Schneider, Steven M. Bellovin
Evolving Telephone Networks. Commun. ACM 42 (1) (1999)
Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov
NAP: Practical Fault-Tolerance for Itinerant Computations. ICDCS (1999)
David Gries, Fred B. Schneider
Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. 8 (1) (1998)
Fred B. Schneider
Toward Trustworthy Networked Information Systems. Commun. ACM 41 (11) (1998)
Scott D. Stoller, Fred B. Schneider
Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT (1998)
Fred B. Schneider
On Concurrent Programming. Commun. ACM 41 (4) (1998)
Fred B. Schneider, Reinhard Möller
On Concurrent Programming [Book Review]. IEEE Concurr. 6 (1) (1998)
Fred B. Schneider
Towards Fault-Tolerant and Secure Agentry. WDAG (1997)
Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, H. Raymond Strong
Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996. Real Time Syst. 12 (3) (1997)
Fred B. Schneider
On traditions in Marktoberdorf. NATO ASI DPD (1996)
Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller
Cryptographic support for fault-tolerant distributed computing. ACM SIGOPS European Workshop (1996)
Thomas C. Bressoud, Fred B. Schneider
Hypervisor-Based Fault Tolerance. ACM Trans. Comput. Syst. 14 (1) (1996)
Dag Johansen, Robbert van Renesse, Fred B. Schneider
Supporting broad internet access to TACOMA. ACM SIGOPS European Workshop (1996)
Fred B. Schneider
Notes on proof outline logic. NATO ASI DPD (1996)
Scott D. Stoller, Fred B. Schneider
Faster Possibility Detection by Combining Two Approaches. WDAG (1995)
David Gries, Fred B. Schneider
Equational Propositional Logic. Inf. Process. Lett. 53 (3) (1995)
Thomas C. Bressoud, Fred B. Schneider
Hypervisor-based Fault-tolerance. SOSP (1995)
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
Teaching as a logic tool (abstract). SIGCSE (1995)

Fred B. Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fred B. Schneider