Michael Tüxen

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 22

Top Topics

Transport Protocol

Formal Analysis

Simulation Tools

Top Venues

Publications

Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. CoRR (2024)
Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. USENIX Security Symposium (2024)
Timo Völker, Michael Tüxen
Packet Too Big Detection and its Integration into QUIC. ICSPCS (2023)
Randall R. Stewart, Michael Tüxen, Karen E. E. Nielsen
Stream Control Transmission Protocol. RFC 9260 (2022)
Timo Völker, Michael Tüxen, Erwin P. Rathgeb
The search of the path MTU with QUIC. EPIQ@CoNEXT (2021)
Randell Jesup, Salvatore Loreto, Michael Tüxen
WebRTC Data Channel Establishment Protocol. RFC 8832 (2021)
Randell Jesup, Salvatore Loreto, Michael Tüxen
WebRTC Data Channels. RFC 8831 (2021)
Godred Fairhurst, Tom Jones, Michael Tüxen, Irene Rüngeler, Timo Völker
Packetization Layer Path MTU Discovery for Datagram Transports. RFC 8899 (2020)
Timo Völker, Ekaterina Volodina, Michael Tüxen, Erwin P. Rathgeb
A QUIC Simulation Model for INET and its Application to the Acknowledgment Ratio Issue. Networking (2020)
Felix Weinrank, Michael Tüxen, Erwin P. Rathgeb
RACK for SCTP. ICNP (2020)
Randall R. Stewart, Michael Tüxen, Maksim Proshin
Stream Control Transmission Protocol: Errata and Issues in RFC 4960. RFC 8540 (2019)
Felix Weinrank, Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
Alternative Handshake Mechanism for the Stream Control Transmission Protocol. Networking (2018)
Michael Welzl, Michael Tüxen, Naeem Khademi
On the Usage of Transport Features Provided by IETF Transport Protocols. RFC 8303 (2018)
Felix Weinrank, Martin Becke, Julius Flohr, Erwin P. Rathgeb, Irene Rüngeler, Michael Tüxen
WebRTC Data Channels. IEEE Commun. Stand. Mag. 1 (2) (2017)
Felix Weinrank, Karl-Johan Grinnemo, Zdravko Bozakov, Anna Brunström, Thomas Dreibholz, Gorry Fairhurst, Per Hurtig, Naeem Khademi, Michael Tüxen
A NEAT Way to Browse the Web. ANRW (2017)
Felix Weinrank, Michael Tüxen
Transparent flow mapping for NEAT. Networking (2017)
Randall R. Stewart, Michael Tüxen, Salvatore Loreto, Robin Seggelmann
Stream Schedulers and User Message Interleaving for the Stream Control Transmission Protocol. RFC 8260 (2017)
Giorgos Papastergiou, Gorry Fairhurst, David Ros, Anna Brunström, Karl-Johan Grinnemo, Per Hurtig, Naeem Khademi, Michael Tüxen, Michael Welzl, Dragana Damjanovic, Simone Mangiante
De-Ossifying the Internet Transport Layer: A Survey and Future Perspectives. IEEE Commun. Surv. Tutorials 19 (1) (2017)
Naeem Khademi, David Ros, Michael Welzl, Zdravko Bozakov, Anna Brunström, Gorry Fairhurst, Karl-Johan Grinnemo, David A. Hayes, Per Hurtig, Tom Jones, Simone Mangiante, Michael Tüxen, Felix Weinrank
NEAT: A Platform- and Protocol-Independent Internet Transport API. IEEE Commun. Mag. 55 (6) (2017)
Michael Tüxen, Randall R. Stewart, Randell Jesup, Salvatore Loreto
Datagram Transport Layer Security (DTLS) Encapsulation of SCTP Packets. RFC 8261 (2017)
Giorgos Papastergiou, Karl-Johan Grinnemo, Anna Brunström, David Ros, Michael Tüxen, Naeem Khademi, Per Hurtig
On the Cost of Using Happy Eyeballs for Transport Protocol Selection. ANRW (2016)
Felix Weinrank, Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
SCTP User Message Interleaving Integration and Validation. CoRR (2016)
Irene Rüngeler, Michael Tüxen
Integration of the Packetdrill Testing Tool in INET. CoRR (2015)
Michael Tüxen, Robin Seggelmann, Randall R. Stewart, Salvatore Loreto
Additional Policies for the Partially Reliable Stream Control Transmission Protocol Extension. RFC 7496 (2015)
Felix Weinrank, Michael Tüxen, Erwin P. Rathgeb
Integration of RTMFP in the OMNeT++ Simulation Environment. CoRR (2015)
Michael Tüxen, Randall R. Stewart
UDP Encapsulation of Stream Control Transmission Protocol (SCTP) Packets for End-Host to End-Host Communication. RFC 6951 (2013)
Michael Tüxen, Irene Rüngeler, Randall R. Stewart
SACK-IMMEDIATELY Extension for the Stream Control Transmission Protocol. RFC 7053 (2013)
Martin Becke, Erwin P. Rathgeb, Sebastian Werner, Irene Rüngeler, Michael Tüxen, Randall R. Stewart
Data channel considerations for RTCWeb. IEEE Commun. Mag. 51 (4) (2013)
Robin Seggelmann, Michael Tüxen, Erwin P. Rathgeb
DTLS Mobility. ICDCN (2012)
Brad Penoff, Alan Wagner, Michael Tüxen, Irene Rüngeler
Portable and Performant Userspace SCTP Stack. ICCCN (2012)
Robin Seggelmann, Michael Tüxen, Erwin P. Rathgeb
SSH over SCTP - Optimizing a multi-channel protocol by adapting it to SCTP. CSNDSP (2012)
Robin Seggelmann, Michael Tüxen, Michael G. Williams
Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS) Heartbeat Extension. RFC 6520 (2012)
Randall R. Stewart, Michael Tüxen, Peter Lei
Stream Control Transmission Protocol (SCTP) Stream Reconfiguration. RFC 6525 (2012)
Thomas Dreibholz, Erwin P. Rathgeb, Irene Rüngeler, Robin Seggelmann, Michael Tüxen, Randall R. Stewart
Stream control transmission protocol: Past, current, and future standardization activities. IEEE Commun. Mag. 49 (4) (2011)
Michael Tüxen, Robin Seggelmann, Eric Rescorla
Datagram Transport Layer Security (DTLS) for Stream Control Transmission Protocol (SCTP). RFC 6083 (2011)
Michael Tüxen, Randall R. Stewart
Stream Control Transmission Protocol (SCTP) Chunk Flags Registration. RFC 6096 (2011)
Hakim Adhari, Thomas Dreibholz, Martin Becke, Erwin P. Rathgeb, Michael Tüxen
Evaluation of Concurrent Multipath Transfer over Dissimilar Paths. AINA Workshops (2011)
Irene Rüngeler, Michael Tüxen, Brad Penoff, Alan Wagner
A new fast algorithm for connecting the INET simulation framework to applications in real-time. SimuTools (2011)
Randall R. Stewart, Michael Tüxen, Kacheong Poon, Peter Lei, Vladislav Yasevich
Sockets API Extensions for the Stream Control Transmission Protocol (SCTP). RFC 6458 (2011)
Robin Seggelmann, Michael Tüxen, Erwin P. Rathgeb
Strategies to Secure End-to-end Communication - and Their Application to SCTP-based Communication. Prax. Inf.verarb. Kommun. 34 (4) (2011)
Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
Improving the Acknowledgment Handling of SCTP. ICDS (2010)
Thomas Dreibholz, Martin Becke, Erwin P. Rathgeb, Michael Tüxen
On the Use of Concurrent Multipath Transfer over Asymmetric Paths. GLOBECOM (2010)
Brad Penoff, Alan Wagner, Michael Tüxen, Irene Rüngeler
MPI-NeTSim: A Network Simulation Module for MPI. ICPADS (2009)
Robin Seggelmann, Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
Parallelizing OMNeT++ simulations using Xgrid. SimuTools (2009)
Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
Congestion and Flow Control in the Context of the Message-Oriented Protocol SCTP. Networking (2009)
Peter Lei, Lyndon Ong, Michael Tüxen, Thomas Dreibholz
An Overview of Reliable Server Pooling Protocols. RFC 5351 (2008)
Michael Tüxen, Irene Rüngeler, Erwin P. Rathgeb
Interface connecting the INET simulation framework with the real world. SimuTools (2008)
Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb
Integration of SCTP in the OMNeT++ simulation environment. SimuTools (2008)
Qiaobing Xie, Randall R. Stewart, Maureen Stillman, Michael Tüxen, Aron J. Silverton
Endpoint Handlespace Redundancy Protocol (ENRP). RFC 5353 (2008)
Michael Tüxen, Irene Rüngeler, Randall R. Stewart, Erwin P. Rathgeb
Network Address Translation for the Stream Control Transmission Protocol. IEEE Netw. 22 (5) (2008)
Randall R. Stewart, Qiaobing Xie, Maureen Stillman, Michael Tüxen
Aggregate Server Access Protocol (ASAP) and Endpoint Handlespace Redundancy Protocol (ENRP) Parameters. RFC 5354 (2008)
Thomas Dreibholz, Michael Tüxen
Reliable Server Pooling Policies. RFC 5356 (2008)
Randall R. Stewart, Qiaobing Xie, Maureen Stillman, Michael Tüxen
Aggregate Server Access Protocol (ASAP). RFC 5352 (2008)
Randall R. Stewart, Michael Tüxen, Gonzalo Camarillo
Security Attacks Found Against the Stream Control Transmission Protocol (SCTP) and Current Countermeasures. RFC 5062 (2007)
Carsten Hohendorf, Erwin P. Rathgeb, Esbold Unurkhaan, Michael Tüxen
Secure End-to-End Transport Over SCTP. J. Comput. 2 (4) (2007)
Michael Tüxen, Randall R. Stewart, Peter Lei
Padding Chunk and Parameter for the Stream Control Transmission Protocol (SCTP). RFC 4820 (2007)
Randall R. Stewart, Qiaobing Xie, Michael Tüxen, Shin Maruyama, Masahiro Kozuka
Stream Control Transmission Protocol (SCTP) Dynamic Address Reconfiguration. RFC 5061 (2007)
Michael Tüxen, Randall R. Stewart, Peter Lei, Eric Rescorla
Authenticated Chunks for the Stream Control Transmission Protocol (SCTP). RFC 4895 (2007)
Michael Tüxen, Ken Morneault
Terminal Endpoint Identifier (TEI) Query Request Number Change. RFC 5133 (2007)
Randall R. Stewart, Ivan Arias-Rodriguez, Kacheong Poon, Armando L. Caro Jr., Michael Tüxen
Stream Control Transmission Protocol (SCTP) Specification Errata and Issues. RFC 4460 (2006)
Carsten Hohendorf, Erwin P. Rathgeb, Esbold Unurkhaan, Michael Tüxen
Secure End-to-End Transport over SCTP. ETRICS (2006)
Thomas Dreibholz, Erwin P. Rathgeb, Michael Tüxen
Load Distribution Performance of the Reliable Server Pooling Framework. ICN (2) (2005)
Randall R. Stewart, Michael A. Ramalho, Qiaobing Xie, Michael Tüxen, Phillip T. Conrad
Stream Control Transmission Protocol (SCTP) Partial Reliability Extension. RFC 3758 (2004)
John Loughney, Michael Tüxen, Jose-Javier Pastor Balbas
Security Considerations for Signaling Transport (SIGTRAN) Protocols. RFC 3788 (2004)
Thomas Dreibholz, Andreas Jungmaier, Michael Tüxen
A New Scheme for IP-based Internet-Mobility. LCN (2003)
Michael Tüxen, Qiaobing Xie, Randall R. Stewart, Melinda Shore, Lyndon Ong, John Loughney, Maureen Stillman
Requirements for Reliable Server Pooling. RFC 3237 (2002)
Andreas Jungmaier, Eric Rescorla, Michael Tüxen
Transport Layer Security over Stream Control Transmission Protocol. RFC 3436 (2002)
Klaus D. Gradisching, Michael Tüxen
Signaling Transport over IP-based Networks Using IETF Standards. DRCN (2001)
Michael Tüxen
Matrixexpoentialverteilungen. MMB (Kurzvorträge) (1999)