Security, privacy, and cryptography

Publication

SandTrap: Tracking Information Flows On Demand with Parallel Permissions

Ali Razeen, Alvin R. Lebeck, David H. Liu, Alexander Meijer, Valentin Pistol, Landon Cox

MobiSys | June 2018

Publication

Proceedings of the 2nd {ACM} Workshop on Blockchains, Cryptocurrencies, and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June 4, 2018

Satya Lokam, Sushmita Ruj, Kouichi Sakurai

Published by ACM SIGSAC | June 2018, Vol 1 | 1 edition

Editor(s): Satya V. Lokam and Sushmita Ruj and Kouichi Sakurai

ISBN: 978-1-4503-5758-6

Publication

MAXelerator: FPGA Accelerator for Privacy Preserving Multiply-Accumulate (MAC) on Cloud Servers

Siam U. Hussain, Bita Rouhani, Mohammad Ghasemzadeh, Farinaz Koushanfar

Design Automation Conference (DAC) | June 2018

Publication

DeepSecure: Scalable Provably-Secure Deep Learning

Bita Darvish Rouhani, Sadegh Riazi, Farinaz Koushanfar

Design Automation Conference (DAC) | June 2018

Publication

Detecting Malicious PowerShell Commands using Deep Neural Networks

Danny Hendler, Shay Kels, Amir Rubin

2018 Computer and Communications Security | May 2018

Project

Post-quantum Cryptography VPN

Post-quantum Crypto and VPNs Every time you make a secure connection over the internet – to your bank, to Facebook, or nearly anywhere online – cryptography is what keeps that communication secure. Some of that…

Publication

EnclaveDB – A Secure Database using SGX

Christian Priebe, Kapil Vaswani, Manuel Costa

To appear in the Proceedings of the IEEE Symposium on Security & Privacy, May 2018 | May 2018

Publication

Liberation Through Radical Decentralization

Vitalik Buterin, E. Glen Weyl

Medium | May 2018

Tool

KReMLin

KreMLin is a tool that extracts an F* program to readable C code. If the F* program verifies against a low-level memory model that talks about the stack and the heap; if it is first-order;…

GitHub Publication

Publication

Neural Classification of Malicious Scripts: A study with JavaScript and VBScript

Jack W. Stokes, Rakshit Agrawal, Geoff McDonald

May 2018

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

SandTrap: Tracking Information Flows On Demand with Parallel Permissions

Proceedings of the 2nd {ACM} Workshop on Blockchains, Cryptocurrencies, and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June 4, 2018

MAXelerator: FPGA Accelerator for Privacy Preserving Multiply-Accumulate (MAC) on Cloud Servers

DeepSecure: Scalable Provably-Secure Deep Learning

Detecting Malicious PowerShell Commands using Deep Neural Networks

Post-quantum Cryptography VPN

EnclaveDB – A Secure Database using SGX

Liberation Through Radical Decentralization

KReMLin

Neural Classification of Malicious Scripts: A study with JavaScript and VBScript

Security, privacy, and cryptography

Highlights