| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tom Roeder, Rafael Pass, Fred B. Schneider |
Multi-Verifier Signatures.  |
J. Cryptology  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robbert van Renesse, Fred B. Schneider, Johannes Gehrke |
Nerio: Leader Election and Edict Ordering |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider, Deirdre K. Mulligan |
A Doctrinal Thesis. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
cybersecurity policy, public cybersecurity, deterrence through accountability |
| 1 | Fred B. Schneider, Kevin Walsh, Emin Gün Sirer |
Nexus authorization logic (NAL): Design rationale and applications. |
ACM Trans. Inf. Syst. Secur. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Shieh, Emin Gün Sirer, Fred B. Schneider |
NetQuery: a knowledge plane for reasoning about network properties. |
SIGCOMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Beyond Traces and Independence. |
Dependable and Historic Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Clarkson, Fred B. Schneider |
Hyperproperties. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Pucella, Fred B. Schneider |
Independence from obfuscation: A semantic framework for diversity. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Roeder, Fred B. Schneider |
Proactive obfuscation. |
ACM Trans. Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Fumbling the Future, Again. |
IEEE Security & Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, Lidong Zhou |
Implementing Trustworthy Services Using Replicated State Machines. |
Replication |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Clarkson, Fred B. Schneider |
Quantification of Integrity. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
quantitative information flow, Integrity, information theory, database privacy |
| 1 | Fred B. Schneider |
Beyond hacking: an SOS! |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider |
Quantifying information flow with beliefs. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Birman, Fred B. Schneider |
Viewpoint - Program committee overload in systems. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth P. Birman, Fred B. Schneider |
The Monoculture Risk Put into Context. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Accountability for Perfection. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Labeling-in Security. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaynarayan H. Lala, Fred B. Schneider |
IT Monoculture Security Risks and Defenses. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Network Neutrality versus Internet Trustworthiness? |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev |
The Building Blocks of Consensus. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider |
Device Driver Safety Through a Reference Validation Mechanism. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Clarkson, Fred B. Schneider |
Hyperproperties. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
safety, Security policies, liveness |
| 1 | Fred B. Schneider |
Trusted Computing in Context. |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Technology Scapegoats and Policy Saviors. |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Mapping the Security Landscape: A Role for Language Techniques. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Credentials-Based Authorization: Evaluation and Implementation. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider |
Computability classes for enforcement mechanisms. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Program rewriting, reference monitors, security automata, execution monitoring, inlined reference monitoring, edit automata |
| 1 | Fred B. Schneider |
Here Be Dragons. |
IEEE Security & Privacy |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider |
Certified In-lined Reference Monitoring on .NET. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring |
| 1 | Riccardo Pucella, Fred B. Schneider |
Independence From Obfuscation: A Semantic Framework for Dive. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
It Depends on What You Pay. |
IEEE Security & Privacy |
2005 |
DBLP DOI BibTeX RDF |
improved security, security cost, measuring security |
| 1 | Susan Landau, Martin R. Stytz, Carl E. Landwehr, Fred B. Schneider |
Overview of Cyber Security: A Crisis of Prioritization. |
IEEE Security & Privacy |
2005 |
DBLP DOI BibTeX RDF |
President’s Information Technology Advisory Committee, PITAC, PITAC report, cybersecurity |
| 1 | Fred B. Schneider, Lidong Zhou |
Implementing Trustworthy Services Using Replicated State Machines. |
IEEE Security & Privacy |
2005 |
DBLP DOI BibTeX RDF |
trusted systems, cryptography, state machines |
| 1 | Lidong Zhou, Fred B. Schneider, Robbert van Renesse |
APSS: proactive secret sharing in asynchronous systems. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
proactive secret sharing, denial of service, asynchronous system, Threshold cryptography |
| 1 | Scott D. Stoller, Fred B. Schneider |
Automated Analysis of Fault-Tolerance in Distributed Systems. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider |
Belief in Information Flow. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz |
Distributed Blinding for Distributed ElGamal Re-Encryption. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Marsh, Fred B. Schneider |
CODEX: A Robust and Secure Secret Distribution System. |
IEEE Trans. Dependable Sec. Comput. |
2004 |
DBLP DOI BibTeX RDF |
client/server and multitier systems, fault tolerance, Distributed systems, access controls, information storage |
| 1 | Fred B. Schneider |
Time Out for Station Identification. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
magazine model, security, privacy |
| 1 | Fred B. Schneider |
From the Editors: The Next Digital Divide. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robbert van Renesse, Fred B. Schneider |
Chain Replication for Supporting High Throughput and Availability. |
OSDI |
2004 |
DBLP BibTeX RDF |
|
| 1 | William K. Josephson, Emin Gün Sirer, Fred B. Schneider |
Peer-to-Peer Authentication with a Distributed Single Sign-On Service. |
IPTPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Least Privilege and More. |
IEEE Security & Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Minsky, Fred B. Schneider |
Tolerating malicious gossip. |
Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
Byzantine fault tolerance, replicated data, Gossip protocols |
| 1 | Dag Johansen, Robbert van Renesse, Fred B. Schneider |
WAIF: Web of Asynchronous Information Filters. |
Future Directions in Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Johansen, Kåre J. Lauvset, Robbert van Renesse, Fred B. Schneider, Nils P. Sudmann, Kjetil Jacobsen |
A TACOMA retrospective. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Secure systems conundrum. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lidong Zhou, Fred B. Schneider, Robbert van Renesse |
COCA: A secure distributed online certification authority. |
ACM Trans. Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Byzantine quorum systems, proactive secret-sharing, denial of service, public key infrastructure, threshold cryptography, Certification authority |
| 1 | Fred B. Schneider |
Lifting Reference Monitors from the Kernel. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, J. Gregory Morrisett, Robert Harper |
A Language-Based Approach to Security. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Language-Based Security: What's Needed and Why. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan S. Milojicic, Fred B. Schneider |
Interview - Fred B. Schneider on Distributed Computing. |
IEEE Distributed Systems Online |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider |
Enforceable security policies. |
ACM Trans. Inf. Syst. Secur. |
2000 |
DBLP DOI BibTeX RDF |
EM security policies, SASI, security policies, proof carrying code, safety properties, security automata, inlined reference monitors |
| 1 | Úlfar Erlingsson, Fred B. Schneider |
IRM Enforcement of Java Stack Inspection. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
security, Java, language-based security, reference monitor, stack inspection |
| 1 | Fred B. Schneider |
Open Source in Security: Visiting the Bizarre. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
open-source software development |
| 1 | Fred B. Schneider, Steven M. Bellovin |
Evolving Telephone Networks. |
Commun. ACM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, Steven M. Bellovin, Alan S. Inouye |
Building Trustworthy Systems: Lessons from the PTN and Internet. |
IEEE Internet Computing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov |
NAP: Practical Fault-Tolerance for Itinerant Computations. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Adding the Everywhere Operator to Propositional Logic. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Toward Trustworthy Networked Information Systems. |
Commun. ACM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider |
On Concurrent Programming. |
Commun. ACM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider, R. Moller |
On Concurrent Programming [Book Review]. |
IEEE Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott D. Stoller, Fred B. Schneider |
Automated Stream-Based Analysis of Fault-Tolerance. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Towards Fault-Tolerant and Secure Agentry. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas C. Bressoud, Fred B. Schneider |
Hypervisor-Based Fault Tolerance. |
ACM Trans. Comput. Syst. |
1996 |
DBLP DOI BibTeX RDF |
primary/backup approach, virtual-machine manager, fault-tolerant computing system |
| 1 | Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller |
Cryptographic support for fault-tolerant distributed computing. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Johansen, Robbert van Renesse, Fred B. Schneider |
Supporting broad internet access to TACOMA. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
On traditions in Marktoberdorf. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider |
Notes on proof outline logic. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Equational Propositional Logic. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott D. Stoller, Fred B. Schneider |
Verifying Programs That Use Causally-Ordered Message-Passing. |
Sci. Comput. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Avoiding the Undefined by Underspecification. |
Computer Science Today |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas C. Bressoud, Fred B. Schneider |
Hypervisor-based Fault-tolerance. |
SOSP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott D. Stoller, Fred B. Schneider |
Faster Possibility Detection by Combining Two Approaches. |
WDAG |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |
Teaching as a logic tool (abstract). |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Limor Fix, Fred B. Schneider |
Reasoning about Programs by Exploiting the Environment. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Teaching Logic as a Tool. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Limor Fix, Fred B. Schneider |
Hybrid Verification by Exploiting the Environment. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Klarlund, Fred B. Schneider |
Proving Nondeterministically Specified Safety Properties Using Progress Measures |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Özalp Babaoglu, Keith Marzullo, Fred B. Schneider |
A Formalization of Priority Inversion. |
Real-Time Systems |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
A Logical Approach to Discrete Math. |
|
1993 |
RDF |
|
| 1 | Jennifer Widom, David Gries, Fred B. Schneider |
Trace-Based Network Proof Systems: Expressiveness and Completeness. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
trace logics, temporal logics, safety properties, process networks |
| 1 | Fred B. Schneider |
Introduction. |
Distributed Computing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg |
Optimal Primary-Backup Protocols. |
WDAG |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider |
Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, Bard Bloom, Keith Marzullo |
Putting Time into Proof Outlines. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties |
| 1 | Fred B. Schneider |
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. |
ACM Comput. Surv. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bowen Alpern, Fred B. Schneider |
Verifying Temporal Properties without Temporal Logic. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bowen Alpern, Fred B. Schneider |
Recognizing Safety and Liveness. |
Distributed Computing |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Widom, David Gries, Fred B. Schneider |
Completeness and Incompleteness of Trace-Based Network Proof Systems. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider (eds.) |
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987 |
PODC |
1987 |
DBLP BibTeX RDF |
|
| 1 | Bowen Alpern, Fred B. Schneider |
Proving Boolean Combinations of Deterministic Properties |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Bowen Alpern, Alan J. Demers, Fred B. Schneider |
Safety Without Stuttering. |
Inf. Process. Lett. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert McCurley, Fred B. Schneider |
Derivation of a Distributed Algorithm for Finding Paths in Directed Networks. |
Sci. Comput. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, Gregory R. Andrews |
Concepts for Concurrent Programming. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider |
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | Fred B. Schneider |
The State Machine Approach: A Tutorial. |
Fault-Tolerant Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")