Formally verifying protocols from textual specifications
Guest Post: A data-driven approach for extracting Finite State Machines from RFCs.
Category:
Tech matters
A new DDoS attack vector: TCP Middlebox Reflection
Guest Post: Learn how TCP Middlebox Reflection attacks work and what are the best current practices for defending against it.
Multivendor (async) gRPC dial-out collector
Guest Post: Learn how a new open-source gRPC dial-out collector is helping one ISP add more data streams to its telemetry solution.
Status of RPKI in Australia and New Zealand
Guest Post: Study shows that despite progress in routing security, there’s still a lot of work to be done.
IPv6 extension headers revisited
Measuring the robustness of IPv6 extension headers.
Taurus: A data plane architecture for per-packet machine learning
Guest Post: Taurus bridges the gap between speed and intelligence by running machine-learning models directly in the network on every packet.
Predicting IPv4 services across all ports
Guest Post: GPS is an open-source scanning system that predicts IPv4 services across all ports in less than 48 hours.
The 2022 National Internet Segment Reliability Research
Guest Post: Annual report sheds light on critical nature of certain Autonomous Systems and how their outage might affect the connectivity of an economy.
Dealing with the undercurrent of unwanted traffic
Guest Post: How much unwanted traffic is out there, and how much is too much to allow out of a source network?
A complex network analysis of global Internet public peering
Guest Post: Modelling a complex graph from PeeringDB to characterize the key Internet peering players and their interactions over time.