[NRG] Reminder: NRG Meeting: Ugur Kaynar @ Mon Nov 18, 2013 11am - 12pm (NRG Calendar)

Larissa Spinelli lspinell at bu.edu
Wed Nov 13 17:11:35 EST 2013


NRG Meeting: VeriFlow: Verifying Network-Wide Invariants in Real Time (Ugur
Kaynar)

When:   Mon, November 18, 11am – 12pm
Where:  MCS-148, 111 Cummington Mall, Boston, MA 02215

Title: VeriFlow: Verifying Network-Wide Invariants in Real Time

Presenter: Ugur Kaynar

Abstract: This presentation covers the paper "VeriFlow: Verifying
Network-Wide Invariants in Real Time" [1]. The paper addresses the problem
of checking network-wide invariants, allowing detection and prevention of
bugs in the network data plane of software defined networks. The key
novelty is that VeriFlow allows this verification to be carried out in real
time.

Paper Abstract: Networks are complex and prone to bugs. Existing tools that
check network configuration files and the data-plane state operate offline
at timescales of seconds to hours, and cannot detect or prevent bugs as
they arise. Is it possible to check network-wide invariants in real time,
as the network state evolves? The key challenge here is to achieve
extremely low latency during the checks so that network performance is not
affected. In this paper, we present a design, VeriFlow, which achieves this
goal. VeriFlow is a layer between a software-defined networking controller
and network devices that checks for network-wide invariant violations
dynamically as each forwarding rule is inserted, modified or deleted.
VeriFlow supports analysis over multiple header fields, and an API for
checking custom invariants. Based on a prototype implementation integrated
with the NOX OpenFlow controller, and driven by a Mininet OpenFlow network
and Route Views trace data, we find that Veri-Flow can perform rigorous
checking within hundreds of microseconds per rule insertion or deletion

 [1] - "VeriFlow: Verifying Network-Wide Invariants in Real Time" Ahmed
Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey
University of Illinois at Urbana-Champaign. 10th USENIX Symposium on
Networked Systems Design and Implementation (NSDI ’13)
https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf


On Wed, Nov 13, 2013 at 10:59 AM, Google Calendar <
calendar-notification at google.com> wrote:

>  more details »<https://www.google.com/calendar/event?action=VIEW&eid=ZjhiMGlhNWhnaGI1M2oyZ3ZrZmE5aWpranMgNTYwam42bnQ1aGo0b2YzcnNyaWNoZnB0aW9AZw>
> NRG Meeting: Ugur Kaynar
> *When*
> Mon Nov 18, 2013 11am – 12pm Eastern Time
> *Where*
> MCS-148, 111 Cummington Mall, Boston, MA 02215 (map<http://maps.google.com/maps?q=MCS-148,+111+Cummington+Mall,+Boston,+MA+02215&hl=en>
> )
> *Calendar*
> NRG Calendar
> *Who*
>> Larissa Spinelli - creator
>
> Invitation from Google Calendar <https://www.google.com/calendar/>
>
> You are receiving this email at the account nrg-l at cs.bu.edu because you
> are subscribed for reminders on calendar NRG Calendar.
>
> To stop receiving these notifications, please log in to
> https://www.google.com/calendar/ and change your notification settings
> for this calendar.
>
> _______________________________________________
> NRG-L mailing list
> NRG-L at cs.bu.edu
> http://cs-mailman.bu.edu/mailman/listinfo/nrg-l
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/nrg-l/attachments/20131113/cdeda702/attachment.html>


More information about the NRG-L mailing list