Fred B. Schneider
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hyperproperties
Michael R. Clarkson and others (2010) · SAGE Publications
A Language-Based Approach to Security
Fred B. Schneider and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer