Publication CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz PLDI 2019 | June 2019 Project
Publication Identifying Security Bug Reports Based Solely on Report Titles and Noisy Data Mayana Pereira, Alok Kumar, Scott Cristiansen 2019 IEEE International Conference on Smart Computing | May 2019
Publication Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana S&P ’19 | May 2019 ArXiv
Publication Dominance as a New Trusted Computing Primitive for the Internet of Things Meng Xu, Manuel Huber, Zhichuang Sun, Paul England, Marcus Peinado, Sangho Lee, Andrey Marochko, Dennis Mattoon, Rob Spiger (CELA), Stefan Thom 40th IEEE Symposium on Security and Privacy (Oakland 2019) | May 2019 Project Project
Publication Formally Verified Cryptographic Web Applications in WebAssembly Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan 2019 IEEE Symposium on Security and Privacy (SP) | May 2019 Access Project
Publication “Data Strikes”: Evaluating the Effectiveness of a New Form of Collective Action Against Technology Companies Nicholas Vincent, Brent Hecht, Shilad Sen WWW ’19: The World Wide Web Conference | May 2019
Publication Attention in Recurrent Neural Networks for Ransomware Detection Rakshit Agrawal, Jack W. Stokes, Karthik Selvaraj, Mady Marinescu 2019 International Conference on Acoustics, Speech, and Signal Processing | May 2019
Publication A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman, Greg Yang, Huan Zhang, Cho-Jui Hsieh, Pengchuan Zhang Thirty-third Conference on Neural Information Processing Systems (NeurIPS) | May 2019
Publication ShadowBlock: A Lightweight and Stealthy Adblocking Browser Shitong Zhu, Umar Iqbal, Zhongjie Wang, Zhiyun Qian, Zubair Shafiq, Weiteng Chen The World Wide Web Conference | May 2019
Publication Theory and Practice of Finding Eviction Sets Pepe Vila, Boris Köpf, José F. Morales IEEE Symposium on Security and Privacy | May 2019 Project Project
Research
Research
