Fetching the paper…
Reading the bibliography…
Deep learning (DL) systems are increasingly deployed in safety- and security-critical domains including self-driving cars and malware detection, where the correctness and predictability of a system's behavior for corner case inputs are of great importance.
Learning representations by back-propagating errors
David E Rumelhart, Geoffrey E Hinton, and Ronald J Williams. 1988 · 1988
Earlier work this paper cites.
A desicion-theoretic generalization of on-line learning and an application to boosting. In European conference on computational learning theory
Yoav Freund and Robert E Schapire. 1995 · 1995
Earlier work this paper cites.
WordNet: a lexical database for English
George A Miller. 1995 · 1995
Earlier work this paper cites.
Gradient-based learning applied to document recognition
Yann LeCun, Léon Bottou, Yoshua Bengio, and Patrick Haffner. 1998a · 1998
Earlier work this paper cites.
The MNIST database of handwritten digits
Yann LeCun, Corinna Cortes, and Christopher JC Burges. 1998b · 1998
Earlier work this paper cites.
Differential testing for software
William M McKeeman. 1998 · 1998
Earlier work this paper cites.
Statistical learning theory
Vladimir Naumovich Vapnik. 1998 · 1998
Earlier work this paper cites.
VirusTotal, a free service that analyzes suspicious files and URLs and facilitates the quick detection of viruses, worms, trojans, and all kinds of malware
virustotal 2004 · 2004
Earlier work this paper cites.
Image quality assessment: from error visibility to structural similarity
Zhou Wang, Alan C Bovik, Hamid R Sheikh, and Eero P Simoncelli. 2004 · 2004
Earlier work this paper cites.
Misleading worm signature generators using deliberate noise injection. In Proceedings of the 27th IEEE Symposium on Security and Privacy
Roberto Perdisci, David Dagon, Wenke Lee, P. Fogla, and M. Sharif. 2006 · 2006
Earlier work this paper cites.
Randomized differential testing as a prelude to formal verification. In Proceedings of the 29th international conference on Software Engineering
Alex Groce, Gerard Holzmann, and Rajeev Joshi. 2007 · 2007
Earlier work this paper cites.
Privacy oracle: a system for finding application leaks with black box differential testing. In Proceedings of the 15th ACM Conference on Computer and Communications Security
Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David Wetherall, Gabriel Maganis, and Tadayoshi Kohno. 2008 · 2008
Earlier work this paper cites.
CUDA Programming guide
Nvidia. 2008 · 2008
Earlier work this paper cites.
Imagenet: A large-scale hierarchical image database. In Proceedings of the 22nd IEEE Conference on Computer Vision and Pattern Recognition
Jia Deng, Wei Dong, Richard Socher, Li-Jia Li, Kai Li, and Li Fei-Fei. 2009 · 2009
Earlier work this paper cites.
Learning multiple layers of features from tiny images
Alex Krizhevsky. 2009 · 2009
Earlier work this paper cites.
ImageNet crowdsourcing, benchmarking & other cool things
2010 · 2010
Earlier work this paper cites.
Contagio, PDF malware dump
contagio 2010 · 2010
Earlier work this paper cites.
MNIST handwritten digit database
Yann LeCun, Corinna Cortes, and Christopher JC Burges. 2010 · 2010
Earlier work this paper cites.
Rectified linear units improve restricted boltzmann machines. In Proceedings of the 27th International Conference on Machine Learning
Vinod Nair and Geoffrey E Hinton. 2010 · 2010
Earlier work this paper cites.
An abstraction-refinement approach to verification of artificial neural networks. In Proceedings of the 22nd International Conference on Computer Aided Verification
Luca Pulina and Armando Tacchella. 2010 · 2010
Earlier work this paper cites.
Finding and understanding bugs in C compilers. In ACM SIGPLAN Notices
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011 · 2011
Earlier work this paper cites.
ImageNet Classification with Deep Convolutional Neural Networks. In Proceedings of the 25th International Conference on Neural Information Processing Systems
Alex Krizhevsky, Ilya Sutskever, and Geoffrey E. Hinton. 2012 · 2012
Earlier work this paper cites.
PDFRate, A machine learning based classifier operating on document metadata and structure
pdfrate 2012 · 2012
Earlier work this paper cites.
Malicious PDF detection using metadata and structural features. In Proceedings of the 28th Annual Computer Security Applications Conference
Charles Smutz and Angelos Stavrou. 2012 · 2012
Earlier work this paper cites.
Deep inside convolutional networks: Visualising image classification models and saliency maps
Karen Simonyan, Andrea Vedaldi, and Andrew Zisserman. 2013 · 2013
Earlier work this paper cites.
Mobile-sandbox: having a deeper look into android applications. In Proceedings of the 28th Annual ACM Symposium on Applied Computing
Michael Spreitzenbarth, Felix Freiling, Florian Echtler, Thomas Schreck, and Johannes Hoffmann. 2013 · 2013
Earlier work this paper cites.
Toward guaranteed illumination models for non-convex objects. In Proceedings of the 26th IEEE International Conference on Computer Vision
Yuqian Zhang, Cun Mu, Han-Wen Kuo, and John Wright. 2013 · 2013
Earlier work this paper cites.
DREBIN: Effective and Explainable Detection of Android Malware in Your Pocket.. In Proceedings of the 21st Annual Network and Distributed System Security Symposium
Daniel Arp, Michael Spreitzenbarth, Malte Hubner, Hugo Gascon, Konrad Rieck, and CERT Siemens. 2014 · 2014
Earlier work this paper cites.
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. In Proceedings of the 35th IEEE Symposium on Security and Privacy
Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, and Vitaly Shmatikov. 2014 · 2014
Earlier work this paper cites.
Privacy in pharmacogenetics: An end-to-end case study of personalized warfarin dosing.. In Proceedings of the 23rd USENIX Security Symposium (USENIX Security 14)
Matthew Fredrikson, Eric Lantz, Somesh Jha, Simon Lin, David Page, and Thomas Ristenpart. 2014 · 2014
Cited alongside, same era.
Very deep convolutional networks for large-scale image recognition
Karen Simonyan and Andrew Zisserman. 2014 · 2014
Cited alongside, same era.
Dropout: a simple way to prevent neural networks from overfitting
Nitish Srivastava, Geoffrey E Hinton, Alex Krizhevsky, Ilya Sutskever, and Ruslan Salakhutdinov. 2014 · 2014
Cited alongside, same era.
Intriguing properties of neural networks. In Proceedings of the 2nd International Conference on Learning Representations
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. 2014 · 2014
Cited alongside, same era.
Practical evasion of a learning-based classifier: a case study. In Proceedings of the 35th IEEE Symposium on Security and Privacy
Adversarial perturbations against deep neural networks for malware classification
Kathrin Grosse, Nicolas Papernot, Praveen Manoharan, Michael Backes, and Patrick McDaniel. 2016 · 2016
Later among the works it cites.
Deep residual learning for image recognition. In Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016 · 2016
Later among the works it cites.
Policy compression for aircraft collision avoidance systems. In Proceedings of the 35th IEEE/AIAA Digital Avionics Systems Conference
Kyle D Julian, Jessica Lopez, Jeffrey S Brush, Michael P Owen, and Mykel J Kochenderfer. 2016 · 2016
Later among the works it cites.
Combining markov random fields and convolutional neural networks for image synthesis. In Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition
Chuan Li and Michael Wand. 2016 · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Nedim Šrndic and Pavel Laskov. 2014 · 2014
Cited alongside, same era.
Droid-sec: deep learning in android malware detection. In ACM SIGCOMM Computer Communication Review
Zhenlong Yuan, Yongqiang Lu, Zhaoguo Wang, and Yibo Xue. 2014 · 2014
Cited alongside, same era.
Towards Making Systems Forget with Machine Unlearning. In Proceedings of the 36th IEEE Symposium on Security and Privacy
Yinzhi Cao and Junfeng Yang. 2015 · 2015
Cited alongside, same era.
Guided differential testing of certificate validation in SSL/TLS implementations. In Proceedings of the 10th Joint Meeting on Foundations of Software Engineering
Yuting Chen and Zhendong Su. 2015 · 2015
Cited alongside, same era.
Model inversion attacks that exploit confidence information and basic countermeasures. In Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
Matt Fredrikson, Somesh Jha, and Thomas Ristenpart. 2015 · 2015
Cited alongside, same era.
A neural algorithm of artistic style
Leon A Gatys, Alexander S Ecker, and Matthias Bethge. 2015 · 2015
Cited alongside, same era.
Ian Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015 · 2015
Cited alongside, same era.
Towards deep neural network architectures robust to adversarial examples. In Proceedings of the 3rd International Conference on Learning Representations
Shixiang Gu and Luca Rigazio. 2015 · 2015
Cited alongside, same era.
Manuel Ruder, Alexey Dosovitskiy, and Thomas Brox. 2016 · 2016
Later among the works it cites.
Accessorize to a crime: Real and stealthy attacks on state-of-the-art face recognition. In Proceedings of the 23rd ACM SIGSAC Conference on Computer and Communications Security
Mahmood Sharif, Sruti Bhagavatula, Lujo Bauer, and Michael K. Reiter. 2016 · 2016
Later among the works it cites.
Mastering the game of Go with deep neural networks and tree search
David Silver, Aja Huang, Christopher J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, and Demis Hassabis. 2016 · 2016
Later among the works it cites.
Understanding the fatal Tesla accident on Autopilot and the NHTSA probe
tesla-accident 2016 · 2016
Later among the works it cites.
Stealing machine learning models via prediction APIs. In Proceedings of the 25th USENIX Security Symposium
Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, and Thomas Ristenpart. 2016 · 2016
Later among the works it cites.
Using Deep Learning to Predict Steering Angles
udacity-challenge 2016 · 2016
Later among the works it cites.
Visualizations for understanding the regressed wheel steering angle for self driving cars
visualize:dave 2016 · 2016
Later among the works it cites.
Data Mining: Practical machine learning tools and techniques
Ian H Witten, Eibe Frank, Mark A Hall, and Christopher J Pal. 2016 · 2016
Later among the works it cites.
A Methodology for Formalizing Model-Inversion Attacks. In Proceedings of the 29th IEEE Computer Security Foundations Symposium
Xi Wu, Matthew Fredrikson, Somesh Jha, and Jeffrey F Naughton. 2016 · 2016
Later among the works it cites.
Achieving human parity in conversational speech recognition
Wayne Xiong, Jasha Droppo, Xuedong Huang, Frank Seide, Mike Seltzer, Andreas Stolcke, Dong Yu, and Geoffrey Zweig. 2016 · 2016
Later among the works it cites.
Automatically evading classifiers. In Proceedings of the 23rd Network and Distributed Systems Symposium
Weilin Xu, Yanjun Qi, and David Evans. 2016 · 2016
Later among the works it cites.
Stephan Zheng, Yang Song, Thomas Leung, and Ian Goodfellow. 2016 · 2016
Later among the works it cites.
Inside Waymo’s secret world for training self-driving cars
2017 · 2017
Closest in time.
Towards evaluating the robustness of neural networks. In Proceedings of the 38th IEEE Symposium on Security and Privacy
Nicholas Carlini and David Wagner. 2017 · 2017
Closest in time.
Parseval networks: Improving robustness to adversarial examples. In Proceedings of the 34th International Conference on Machine Learning
Moustapha Cisse, Piotr Bojanowski, Edouard Grave, Yann Dauphin, and Nicolas Usunier. 2017 · 2017
Closest in time.
The challenge of verification and testing of machine learning
Ian Goodfellow and Nicolas Papernot. 2017 · 2017
Closest in time.
Safety verification of deep neural networks. In Proceedings of the 29th International Conference on Computer Aided Verification
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu. 2017 · 2017
Closest in time.
In-Datacenter Performance Analysis of a Tensor Processing Unit. In Proceedings of the 44th Annual International Symposium on Computer Architecture
Norman P. Jouppi, Cliff Young, Nishant Patil, David Patterson, Gaurav Agrawal, Raminder Bajwa, Sarah Bates, Suresh Bhatia, Nan Boden, Al Borchers, Rick Boyle, et al · 2017
Closest in time.
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Proceedings of the 29th International Conference On Computer Aided Verification
Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017 · 2017
Closest in time.
On detecting adversarial perturbations. In Proceedings of the 6th International Conference on Learning Representations
Jan Hendrik Metzen, Tim Genewein, Volker Fischer, and Bastian Bischoff. 2017 · 2017
Closest in time.
Extending defensive distillation
Nicolas Papernot and Patrick McDaniel. 2017 · 2017
Closest in time.
NEZHA: Efficient Domain-independent Differential Testing. In Proceedings of the 38th IEEE Symposium on Security and Privacy
Theofilos Petsios, Adrian Tang, Salvatore J. Stolfo, Angelos D. Keromytis, and Suman Jana. 2017 · 2017
Closest in time.
Learning to generate reviews and discovering sentiment
Alec Radford, Rafal Jozefowicz, and Ilya Sutskever. 2017 · 2017
Closest in time.
HVLearn: Automated black-box analysis of hostname verification in SSL/TLS implementations. In Proceedings of the 38th IEEE Symposium on Security and Privacy
Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana. 2017 · 2017
Closest in time.
Feature squeezing: detecting adversarial examples in deep neural networks
Weilin Xu, David Evans, and Yanjun Qi. 2017 · 2017
Closest in time.