( events)   Timezone: »  
Program Highlights »
Fri Dec 08 08:00 AM -- 06:30 PM (PST) @ Hyatt Hotel, Shoreline
Machine Learning and Computer Security
Jacob Steinhardt · Nicolas Papernot · Bo Li · Chang Liu · Percy Liang · Dawn Song

Workshop Home Page

While traditional computer security relies on well-defined attack models and proofs of security, a science of security for machine learning systems has proven more elusive. This is due to a number of obstacles, including (1) the highly varied angles of attack against ML systems, (2) the lack of a clearly defined attack surface (because the source of the data analyzed by ML systems is not easily traced), and (3) the lack of clear formal definitions of security that are appropriate for ML systems. At the same time, security of ML systems is of great import due the recent trend of using ML systems as a line of defense against malicious behavior (e.g., network intrusion, malware, and ransomware), as well as the prevalence of ML systems as parts of sensitive and valuable software systems (e.g., sentiment analyzers for predicting stock prices). This workshop will bring together experts from the computer security and machine learning communities in an attempt to highlight recent work in this area, as well as to clarify the foundations of secure ML and chart out important directions for future work and cross-community collaborations.

Opening Remarks
AI Applications in Security at Ant Financial (Invited Talk)
A Word Graph Approach for Dictionary Detection and Extraction in DGA Domain Names (Contributed Talk)
Practical Machine Learning for Cloud Intrusion Detection (Contributed Talk)
Poster Spotlights I (Spotlight Session)
International Security and the AI Revolution (Invited Talk)
BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain (Contributed Talk)
Poster Spotlights II (Spotlight Session)
Defending Against Adversarial Examples (Invited Talk)
Provable defenses against adversarial examples via the convex outer adversarial polytope (Contributed Talk)
Games People Play (With Bots) (Invited Talk)
Synthesizing Robust Adversarial Examples (Contributed Talk / Demo)
Poster Session
Safety beyond Security: Societal Challenges for Machine Learning (Invited Talk)
Towards Verification of Deep Neural Networks (Invited Talk)