2 citations · 3 across the 4 of their papers we have counts for
4 papers
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Jacob Ginesin, Max von Hippel, Evan Defloor +2
SCTP is a transport protocol offering features such as multi-homing, multi-streaming, and message-oriented delivery. Its two main implementations were subjected to conformance test…
SCTP User Message Interleaving Integration and Validation
Felix Weinrank, Irene Rüngeler, Michael Tüxen +1
The Stream Control Transmission Protocol (SCTP) is a connection and message oriented transport protocol. It supports multiple uni-directional streams in each direction allowing use…
Integration of the Packetdrill Testing Tool in INET
Irene Rüngeler, Michael Tüxen
Google released in 2013 a script-based tool called packetdrill, which allows to test transport protocols like UDP and TCP on Linux and BSD-based operating systems. The scripts defi…
Integration of RTMFP in the OMNeT++ Simulation Environment
Felix Weinrank, Michael Tüxen, Erwin P. Rathgeb
This paper introduces the new Real-Time Media Flow Protocol (RTMFP) simulation model for the INET framework for the OMNeT++ simulation environment. RTMFP is a message orientated pr…