How to avoid insider cyber-attacks by creating a corporate culture that infuses trust.
Fred B. Schneider
Author Archives
Putting Trust in Security Engineering
Proposing a stronger foundation for an engineering discipline to support the design of secure systems.
Impediments with Policy Interventions to Foster Cybersecurity
A call for discussion of governmental investment and intervention in support of cybersecurity.
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two…
Program Committee Overload in Systems
Conference program committees must adapt their review and selection process dynamics in response to evolving research cultural changes and challenges.
Inside Risks: Evolving Telephone Networks
The U.S. public telephone network (PTN) is changing—partly in response to changes in technology and partly due to deregulation. Some changes are for the better:…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved