{"id":651,"date":"2018-01-20T19:44:12","date_gmt":"2018-01-21T00:44:12","guid":{"rendered":"https:\/\/www.bu.edu\/macs\/?page_id=651"},"modified":"2018-02-01T13:58:13","modified_gmt":"2018-02-01T18:58:13","slug":"meeting-jan-2018","status":"publish","type":"page","link":"https:\/\/www.bu.edu\/macs\/workshops\/meeting-jan-2018\/","title":{"rendered":"MACS Project Meeting, January 2018"},"content":{"rendered":"

Date:<\/strong>
\nMonday, January\u00a029,\u00a02018<\/p>\n

Location:
\n<\/strong>Boston University, Hariri Seminar Room, MCS building<\/a> room 180<\/p>\n

Schedule:<\/strong><\/p>\n\n\n\n\n\n\n\n\n
11 – 12:15<\/td>\n\n
12:15 – 1:15<\/td>\nLunch (provided)<\/td>\n<\/tr>\n
1:15 – 2:15<\/td>\n\n
2:15 – 2:30<\/td>\nBreak<\/td>\n<\/tr>\n
2:30 – 3<\/td>\nSrini Devadas, Discussion on Meltdown and Spectre attacks and implications on the MACS project<\/em> (pptx<\/a>)<\/td>\n<\/tr>\n
3 – 4<\/td>\nFaculty-only discussion<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Selected abstracts:<\/strong><\/p>\n

Yossi Gilad<\/strong>, Stadium: A Distributed Metadata-Private Messaging System
\n<\/em><\/p>\n

Private communication over the Internet remains a challenging problem. Even if messages are encrypted, it is hard to deliver them without revealing metadata about which pairs of users are communicating. Scalable anonymity systems, such as Tor, are susceptible to traffic analysis attacks that leak metadata. In contrast, the largest-scale systems with metadata privacy require passing all messages through a small number of providers, requiring a high operational cost for each provider and limiting their deployability in practice.<\/p>\n

This paper presents Stadium, a point-to-point messaging system that provides metadata and data privacy while scaling its work efficiently across hundreds of low-cost providers operated by different organizations. Much like Vuvuzela, the current largest-scale metadata-private system, Stadium achieves its provable guarantees through differential privacy and the addition of noisy cover traffic. The key challenge in Stadium is limiting the information revealed from the many observable traffic links of a highly distributed system, without requiring an overwhelming amount of noise. To solve this challenge, Stadium introduces techniques for distributed noise generation and differentially private routing as well as a verifiable parallel mixnet design where the servers collaboratively check that others follow the protocol. We show that Stadium can scale to support 4x more users than Vuvuzela using servers that cost an order of magnitude less to operate than Vuvuzela nodes.<\/p>\n

 <\/p>\n

Vinod Vaikuntanathan<\/strong>, Gazelle: A Low Latency Framework for Secure Neural Network Inference
\n<\/em><\/p>\n

The growing popularity of cloud-based machine learning raises a natural question about the privacy guarantees that can be provided in such a setting. Our work tackles this problem in the context where a client wishes to classify private images using a convolutional neural network (CNN) trained by a server. Our goal is to build efficient protocols whereby the client can acquire the classification result without revealing their input to the server, while guaranteeing the privacy of the server’s neural network.<\/p>\n

To this end, we design GAZELLE, a scalable and low-latency system for secure neural network inference, using an intricate combination of homomorphic encryption and traditional two-party computation techniques (such as garbled circuits). GAZELLE makes three contributions. First, we design the GAZELLE homomorphic encryption library which provides fast algorithms for basic homomorphic operations such as SIMD (single instruction multiple data) addition, SIMD multiplication and ciphertext permutation. Second, we implement the GAZELLE homomorphic linear algebra kernels which map neural network layers to optimized homomorphic matrix-vector multiplication and convolution routines. Third, we design optimized encryption switching protocols which seamlessly convert between homomorphic and garbled circuit encodings to enable implementation of complete neural network inference.<\/p>\n

We evaluate our protocols on benchmark neural networks trained on the MNIST and CIFAR-10 datasets and show that GAZELLE outperforms the best existing systems such as MiniONN by 20x and Chameleon by 30x in online runtime. Similarly when compared with fully homomorphic approaches like CryptoNets we demonstrate three orders of magnitude faster online run-time.<\/p>\n

 <\/p>\n

Malte Schwarzkopf<\/strong>, Conclave: Secure Multi-Party Computation on Big Data
\n<\/em><\/p>\n

Secure multi-party computation (MPC) allows mutually distrusting parties
\nto run joint computations without revealing any private data.
\nUnfortunately, current MPC algorithms scale poorly with the size of the
\ndata processed. This makes MPC on “big data” prohibitively slow and
\ninhibits many use cases.<\/p>\n

Most analytics queries, however, can maintain the end-to-end security
\nguarantee without running entirely under MPC’s cryptographic
\ntechniques. Conclave is a query compiler that automatically<\/em>
\naccelerates such queries by transforming a relational query into a
\ncombination of scalable, local, cleartext processing and small, isolated
\nMPC steps. For further speedups, Conclave introduces new hybrid
\nMPC-cleartext protocols that rely on existing trust relationships
\nbetween parties to run additional steps outside MPC.<\/p>\n

Our Conclave prototype generates code for local, scalable cleartext
\nprocessing in Spark, and for secure MPC using the Sharemind framework,
\nand manages its execution. In experiments, Conclave scales to data sets
\nbetween three and six orders of magnitude larger than state-of-the-art
\nMPC frameworks can support, and delivers results in minutes.<\/p>\n","protected":false},"excerpt":{"rendered":"

Date: Monday, January\u00a029,\u00a02018 Location: Boston University, Hariri Seminar Room, MCS building room 180 Schedule: 11 – 12:15 Yossi Gilad, Stadium: A Distributed Metadata-Private Messaging System Vinod Vaikuntanathan, Gazelle: Secure Neural Network Inference 12:15 – 1:15 Lunch (provided) 1:15 – 2:15 Malte Schwarzkopf, Conclave: Secure Multi-Party Computation on Big Data (pdf) Chenglu Jin, Secure Sensor Function […]<\/p>\n","protected":false},"author":10377,"featured_media":0,"parent":69,"menu_order":9,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/pages\/651"}],"collection":[{"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/users\/10377"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/comments?post=651"}],"version-history":[{"count":13,"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/pages\/651\/revisions"}],"predecessor-version":[{"id":668,"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/pages\/651\/revisions\/668"}],"up":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/pages\/69"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/macs\/wp-json\/wp\/v2\/media?parent=651"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}