Posts

Confidential computing

The Universal Model of Computation

The Gales in Cyberspace

Virtualized Society

Kenneth J Hamer-Hodges FIEE

Infallible Automation

Civilizing Cyberspace: The Fight for Digital Democracy

The Future of Democracy in Cyberspace

Democracy, Cyber Society and Trusted Software

Monolithic Software & General-Purpose Computer Science is too complex to remain safe

Civilizing Cyberspace: The Fight for Digital Democracy by Ken Hamer-Hodges.

SOSP'77

Civilizing Cyberspace: The Fight For Digital Democracy 

The best book on computer security for all to read!

The λ-Calculus

My book on the future of cyber democracy is now available at Amazon

The Universal Model of Computation

Virtualized Society

PP250 Power Point Presentations

Fwd: [cap-talk] Fwd: seL4 is going open source