COMMUN I CAT I ONS

CACM.ACM.ORG

OF THEACM

11/09 VOL. 52 NO. 11

scratch

Programming for All

Communications surveillance

An interview with

Ping Fu

usable security: how to Get it

e-Paper’s next Chapter

turing Lecture by edmund m. Clarke, e. Allen emerson, and

Joseph sifakis

Association for Computing Machinery