| Generalised Dice Overlap as a Deep Learning Loss Function for Highly Unbalanced Segmentations | Lecture Notes in Computer Science | 2017 | 547 |
| Unsupervised Anomaly Detection with Generative Adversarial Networks to Guide Marker Discovery | Lecture Notes in Computer Science | 2017 | 525 |
| A Survey of Attacks on Ethereum Smart Contracts (SoK) | Lecture Notes in Computer Science | 2017 | 475 |
| Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol | Lecture Notes in Computer Science | 2017 | 384 |
| Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks | Lecture Notes in Computer Science | 2017 | 333 |
| Homomorphic Encryption for Arithmetic of Approximate Numbers | Lecture Notes in Computer Science | 2017 | 253 |
| Safety Verification of Deep Neural Networks | Lecture Notes in Computer Science | 2017 | 226 |
| Medical Image Synthesis with Context-Aware Generative Adversarial Networks | Lecture Notes in Computer Science | 2017 | 221 |
| Deep MR to CT Synthesis Using Unpaired Data | Lecture Notes in Computer Science | 2017 | 217 |
| Neural Information Processing | Lecture Notes in Computer Science | 2017 | 198 |
| Cooperative Multi-agent Control Using Deep Reinforcement Learning | Lecture Notes in Computer Science | 2017 | 197 |
| Analysis of the Blockchain Protocol in Asynchronous Networks | Lecture Notes in Computer Science | 2017 | 195 |
| An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns | Lecture Notes in Computer Science | 2017 | 179 |
| A Smart Contract for Boardroom Voting with Maximum Voter Privacy | Lecture Notes in Computer Science | 2017 | 170 |
| A Storm is Coming: A Modern Probabilistic Model Checker | Lecture Notes in Computer Science | 2017 | 170 |
| Tversky Loss Function for Image Segmentation Using 3D Fully Convolutional Deep Networks | Lecture Notes in Computer Science | 2017 | 169 |
| Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks | Lecture Notes in Computer Science | 2017 | 168 |
| Predictive Business Process Monitoring with LSTM Neural Networks | Lecture Notes in Computer Science | 2017 | 167 |
| End-to-End Unsupervised Deformable Image Registration with a Convolutional Neural Network | Lecture Notes in Computer Science | 2017 | 167 |
| Abnormal Event Detection in Videos Using Spatiotemporal Autoencoder | Lecture Notes in Computer Science | 2017 | 163 |
| Why People Use Chatbots | Lecture Notes in Computer Science | 2017 | 161 |
| A Modular Analysis of the Fujisaki-Okamoto Transformation | Lecture Notes in Computer Science | 2017 | 160 |
| Suggestive Annotation: A Deep Active Learning Framework for Biomedical Image Segmentation | Lecture Notes in Computer Science | 2017 | 149 |
| Adversarial Examples for Malware Detection | Lecture Notes in Computer Science | 2017 | 146 |
| Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks | Lecture Notes in Computer Science | 2017 | 143 |
