acm-header
Sign In

Communications of the ACM

Latest Research



Hiding Secrets in Software
From Communications of the ACM

Hiding Secrets in Software: A Cryptographic Approach to Program Obfuscation

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...

Pinocchio
From Communications of the ACM

Pinocchio: Nearly Practical Verifiable Computation

We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account