This paper studies undefined behavior arising in systems programming languages such as C/C++. We introduce a new static checker called STACK that precisely identifies...Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama From Communications of the ACM | March 2016
An ideal solution to satisfying the dual goals of protecting data confidentiality and running computations is to enable a server to compute over encrypted data...Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan From Communications of the ACM | September 2012
Sign In for Full Access
Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
ACM Digital Library apps available for iOS, Android, and Windows devices
Download an app and sign in to it with your ACM Web Account