Forward Networks – A forward approach to formal verification
Forward Networks has stepped out of the shadows to announce their Network Assurance platform, and I was fortunate enough to be a delegate for Networking Field Day 13 to see their first public briefing. We were all excited to set foot onto the Andressen Horowitz campus that day, but none of us were quite sure what exactly to expect.
Forward Networks was founded by David Erickson and Brandon Heller, PhD in Computer Science from Stanford University, who saw the great need for help in the networking market and decided to tackle a challenge that no one else recognized. They worked in Nick McKeown’s Lab at Stanford University back in 2006 before SDN was ever put on a Networking Bingo card, let alone even heard of. They helped create the standards and shape OpenFlow as it came into existence. Working on bleeding edge SDN networks they realized that the tools network engineers were dealing with were wholly insufficient to troubleshoot many advanced and complicated networks.
In 2013 they founded Forward networks with the goal of understanding how networks work at the functional level. They’ve written an algorithm that can take in large amounts of data from your devices and build a Continue reading
9 Security Startups Worth Watching In 2017
Legacy security products are not keeping up.
Juniper Enlists Partners for Software-Defined Secure Networks
The network is your security tool. Sound familiar?
ExtraHop Creates Addy for Real-Time Network Security
Addy draws interpretations from the data ExtraHop is picking up real-time.
Python – Kirk Byers Course Week 2 Part 1
This post will describe the exercises and solutions for week two of Kirk Byers Python for Network Engineers.
This is the first exercise:
I. Create a script that does the following
A. Prompts the user to input an IP network.
Notes:
1. For simplicity the network is always assumed to be a /24 network
2. The network can be entered in using one of the following three formats 10.88.17.0, 10.88.17., or 10.88.17
B. Regardless of which of the three formats is used, store this IP network as a list in the following format ['10', '88', '17', '0'] i.e. a list with four octets (all strings), the last octet is always zero (a string).
Hint: There is a way you can accomplish this using a list slice.
Hint2: If you can't solve this question with a list slice, then try using the below if statement (note, we haven't discussed if/else conditionals yet; we will talk about them in the next class).
>>>> CODE <<<<
if len(octets) == 3:
octets.append('0')
elif len(octets) == 4:
octets[3] = '0'
>>>> END <<<<
C. Print the IP network out to the screen.
D. Print a Continue reading