Search Results for author:
Found 7 papers, 2 papers with code
A Deep Learning Perspective on Network Routing
Routing is, arguably, the most fundamental task in computer networking, and the most extensively studied one.
Verifying Generalization in Deep Learning
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the state of the art in numerous application domains.
Verification-Aided Deep Ensemble Selection
Deep neural networks (DNNs) have become the technology of choice for realizing a variety of complex tasks.
Towards Scalable Verification of Deep Reinforcement Learning
Deep neural networks (DNNs) have gained significant popularity in recent years, becoming the state of the art in a variety of domains.
Online Safety Assurance for Deep Reinforcement Learning
We illustrate the usefulness of online safety assurance in the context of the proposed deep reinforcement learning (RL) approach to video streaming.
A Machine Learning Approach to Routing
Can ideas and techniques from machine learning be leveraged to automatically generate "good" routing configurations?
Measuring and mitigating AS-level adversaries against Tor
We find that up to 40% of all circuits created by Tor are vulnerable to attacks by traffic correlation from Autonomous System (AS)-level adversaries, 42% from colluding AS-level adversaries, and 85% from state-level adversaries.
Cryptography and Security
