Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Authors: Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer | Published: 2017-02-03 | Updated: 2017-05-19
Beyond Free Riding: Quality of Indicators for Assessing Participation in Information Sharing for Threat Intelligence
Authors: Omar Al-Ibrahim, Aziz Mohaisen, Charles Kamhoua, Kevin Kwiat, Laurent Njilla | Published: 2017-02-02
Mining Anonymity: Identifying Sensitive Accounts on Twitter
Authors: Sai Teja Peddinti, Keith W. Ross, Justin Cappos | Published: 2017-02-01
Mobile phone identification through the built-in magnetometers
Authors: Gianmarco Baldini, Gary Steri, Raimondo Giuliani, Vladimir Kyovtorov | Published: 2017-01-26
Learn&Fuzz: Machine Learning for Input Fuzzing
Authors: Patrice Godefroid, Hila Peleg, Rishabh Singh | Published: 2017-01-25
Malicious URL Detection using Machine Learning: A Survey
Authors: Doyen Sahoo, Chenghao Liu, Steven C. H. Hoi | Published: 2017-01-25 | Updated: 2019-08-21
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
Authors: Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael Hicks, Tudor Dumitraş | Published: 2017-01-17
Agent-Agnostic Human-in-the-Loop Reinforcement Learning
Authors: David Abel, John Salvatier, Andreas Stuhlmüller, Owain Evans | Published: 2017-01-15
Learning to Invert: Signal Recovery via Deep Convolutional Networks
Authors: Ali Mousavi, Richard G. Baraniuk | Published: 2017-01-14
What Can I Do Now? Guiding Users in a World of Automated Decisions
Authors: Matthias Gallé | Published: 2017-01-13