The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
We begin with the conjecture that most software is natural, with all the attendant constraints and limitations — and thus, like natural language, it is also likely to be repetitive and predictable.
"On the Naturalness of Software" by Hindle et al. takes an entirely new approach to providing tools to help build software.
Can we hide secrets in software? Can we make programs unintelligible while preserving their functionality? Why would we even want to do this? In this article, we describe some rigorous cryptographic answers to these quasi-philosophical…
In "Hiding Secrets in Software," Garg et al. construct a "one-way compiler" of the type envisioned by Diffie and Hellman.