Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Rath, Felix; Schemmel, Daniel; Wehrle, Klaus; Rüth, Jan; Zimmermann, Torsten; Wolsing, Konrad; Hohlfeld, Oliver; Hiller, Jens; Henze, Martin; Serror, Martin; Wagner, Eric; Richter, Jan Niklas; Wehrle, Klaus; Hohlfeld, Oliver; Reelfs, Jens Helge; Rüth, Jan; Schmidt, Florian; Zimmermann, Torsten; Hiller, Jens; Wehrle, Klaus; Rüth, Jan; Glebke, René; Wehrle, Klaus; Causevic, Vedad; Hirche, Sandra; Rüth, Jan; Hohlfeld, Oliver; Rüth, Jan; Glebke, René; Ulmen, Tanja; Wehrle, Klaus; Rüth, Jan; Poese, Ingmar; Dietzel, Christoph; Hohlfeld, Oliver; Hohlfeld, Oliver; Rüth, Jan; Wolsing, Konrad; Zimmermann, Torsten; Zimmermann, Torsten; Hiller, Jens; Reelfs, Jens Helge; Hein, Pascal; Wehrle, Klaus

doi:10.1145/3284850.3284853

Publications

Year:

All :: 1996, ... , 2017, 2018, 2019, ... , 2024

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: R. Henderson, ... , Renuli, Reuter, Richter, ... , Rüth

77.	Felix Rath, Daniel Schemmel, and Klaus Wehrle Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution EPIQ'18 Workshop Paper Heraklion, Greece, 4.12.2018 Publisher: ACM, December 2018 DOI: 10.1145/3284850.3284853 ISBN: 978-1-4503-6082-1 https://dl.acm.org/citation.cfm?id=3284853 https://arxiv.org/abs/1811.12099
76.	Jan Rüth, Torsten Zimmermann, Konrad Wolsing, and Oliver Hohlfeld Digging into Browser-based Crypto Mining Proceedings of the Internet Measurement Conference (IMC '18) Publisher: ACM, October 2018 DOI: 10.1145/3278532.3278539 https://arxiv.org/abs/1808.00811
75.	Jens Hiller, Martin Henze, Martin Serror, Eric Wagner, Jan Niklas Richter, and Klaus Wehrle Secure Low Latency Communication for Constrained Industrial IoT Scenarios 43rd IEEE Conference on Local Computer Networks (LCN), Chicago, USA Publisher: IEEE, October 2018 DOI: 10.1109/LCN.2018.8638027 ISBN: 978-1-5386-4413-3
74.	Oliver Hohlfeld, Jens Helge Reelfs, Jan Rüth, Florian Schmidt, Torsten Zimmermann, Jens Hiller, and Klaus Wehrle Application-Agnostic Offloading of Datagram Processing Proceedings of the 2018 30th International Teletraffic Congress (ITC 30), Vienna, Austria Publisher: IEEE, September 2018 DOI: 10.1109/ITC30.2018.00015
73.	Jan Rüth, René Glebke, Klaus Wehrle, Vedad Causevic, and Sandra Hirche Towards In-Network Industrial Feedback Control Proceedings of the ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute '18) Publisher: ACM, August 2018 DOI: 10.1145/3229591.3229592
72.	Jan Rüth and Oliver Hohlfeld Demystifying TCP Initial Window Configurations of Content Distribution Networks In Proceedings of the Network Traffic Measurement and Analysis Conference (TMA '18) June 2018 DOI: 10.23919/TMA.2018.8506549 https://arxiv.org/abs/1902.08937 http://tma.ifip.org/2018/...18/06/tma2018_paper13.pdf
71.	Jan Rüth, René Glebke, Tanja Ulmen, and Klaus Wehrle Demo: Towards In-Network Processing for Low-Latency Industrial Control In Proceedings of IEEE INFOCOM 2018 - IEEE Conference on Computer Communications Publisher: IEEE Computer Society, April 2018 DOI: 10.1109/INFCOMW.2018.8406844
70.	Jan Rüth, Ingmar Poese, Christoph Dietzel, and Oliver Hohlfeld A First Look at QUIC in the Wild In Proceedings of the Passive and Active Measurement Conference (PAM '18), page 255-268. Publisher: Springer, Cham, March 2018 DOI: 10.1007/978-3-319-76481-8_19 ISBN: 978-3-319-76481-8 https://arxiv.org/abs/1801.05168
69.	Oliver Hohlfeld, Jan Rüth, Konrad Wolsing, and Torsten Zimmermann Characterizing a Meta-CDN In Proceedings of the Passive and Active Measurement Conference (PAM '18), page 114-128. Publisher: Springer, Cham, March 2018 DOI: 10.1007/978-3-319-76481-8_9 ISBN: 978-3-319-76480-1 https://arxiv.org/abs/1803.09990
68.	Torsten Zimmermann, Jens Hiller, Jens Helge Reelfs, Pascal Hein, and Klaus Wehrle SPLIT: Smart Protocol Loading for the IoT Proceedings of the 15th European Conference on Wireless Sensor Networks (EWSN 2018), Madrid, Spain Publisher: ACM, February 2018 ISBN: 978-0-9949886-2-1 https://dl.acm.org/citation.cfm?id=3234847.3234854

Export as:

BibTeX, XML