Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Rath, Felix; Schemmel, Daniel; Wehrle, Klaus; Scheitle, Quirin; Hohlfeld, Oliver; Gamba, Julien; Jelten, Jonas; Zimmermann, Torsten; Strowes, Stephen D.; Vallina-Rodriguez, Narseo; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; 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; Soria Dustmann, Oscar; Wehrle, Klaus; Cadar, Cristian; Serror, Martin; Henze, Martin; Hack, Sacha; Schuba, Marko; Wehrle, Klaus; Krude, Johannes; Stoffers, Mirko; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus; Hu, Yulin; Serror, Martin; Wehrle, Klaus; Gross, James; Serror, Martin; Vaaßen, Sebastian; Wehrle, Klaus; Gross, James; Hiller, Jens; Kimmerlin, Mael; Plauth, Max; Heikkila, Seppo; Klauck, Stefan; Lindfors, Ville; Eberhardt, Felix; Bursztynowski, Dariusz; Santos, Jesus Llorente; Hohlfeld, Oliver; Wehrle, Klaus; Schemmel, Daniel; Glebke, René; Stoffers, Mirko; Wehrle, Klaus; Scheitle, Quirin; Chung, Taejoong; Hiller, Jens; Gasser, Oliver; Naab, Johannes; van Rijswijk-Deij, Roland; Hohlfeld, Oliver; Holz, Ralph; Choffnes, Dave; Mislove, Alan; Carle, Georg

doi:10.1145/3284850.3284853

Publications

Year:

All :: 1997, ... , 2017, 2018, 2019, ... , 2025

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 :: Saad, ... , Schürmanns, Schwandtke, Schwarze, ... , Stüble

142.	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
141.	Quirin Scheitle, Oliver Hohlfeld, Julien Gamba, Jonas Jelten, Torsten Zimmermann, Stephen D. Strowes, and Narseo Vallina-Rodriguez A Long Way to the Top: Significance, Structure, and Stability of Internet Top Lists Proceedings of the 2018 Internet Measurement Conference (IMC), Boston, USA Publisher: ACM, October 2018 DOI: 10.1145/3278532.3278574 https://arxiv.org/abs/1805.11506
140.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25 October 2018 DOI: 10.1145/3186316
139.	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
138.	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
137.	Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar PARTI: A Multi-interval Theory Solver for Symbolic Execution Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18) September 2018 DOI: 10.1145/3238147.3238179
136.	Martin Serror, Martin Henze, Sacha Hack, Marko Schuba, and Klaus Wehrle Towards In-Network Security for Smart Homes Proceedings of the 2nd International Workshop on Security and Forensics of IoT (IoT-SECFOR), co-located with the 13th International Conference on Availability, Reliability and Security (ARES 2018), Hamburg, Germany Publisher: ACM, August 2018 DOI: 10.1145/3230833.3232802 ISBN: 978-1-4503-6448-5
135.	Johannes Krude, Mirko Stoffers, and Klaus Wehrle Circuit Switched VM Networks for Zero-Copy IO Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks (KBNets'18), page 1-7. Publisher: ACM, August 2018 DOI: 10.1145/3229538.3229539
134.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27
133.	Yulin Hu, Martin Serror, Klaus Wehrle, and James Gross Finite Blocklength Performance of Cooperative Multi-Terminal Wireless Industrial Networks IEEE Transactions on Vehicular Technology, 67(7):5778-5792 July 2018 ISSN: 0018-9545 DOI: 10.1109/TVT.2018.2794178
132.	Martin Serror, Sebastian Vaaßen, Klaus Wehrle, and James Gross Practical Evaluation of Cooperative Communication for Ultra-Reliability and Low-Latency 19th IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (IEEE WoWMoM 2018), Chania, Greece Publisher: IEEE, June 2018 DOI: 10.1109/WoWMoM.2018.8449807 ISBN: 978-1-5386-4725-7
131.	Jens Hiller, Mael Kimmerlin, Max Plauth, Seppo Heikkila, Stefan Klauck, Ville Lindfors, Felix Eberhardt, Dariusz Bursztynowski, Jesus Llorente Santos, Oliver Hohlfeld, and Klaus Wehrle Giving Customers Control over Their Data: Integrating a Policy Language into the Cloud Proceedings of the 2018 IEEE International Conference on Cloud Engineering (IC2E 2018), Orlando, Florida, USA, page 241-249. Publisher: IEEE, April 2018 DOI: 10.1109/IC2E.2018.00050 ISBN: 978-1-5386-5008-0 https://ieeexplore.ieee.org/document/8360335
130.	Daniel Schemmel, René Glebke, Mirko Stoffers, and Klaus Wehrle Towards Benchmark Optimization by Automated Equivalence Detection Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18) April 2018 DOI: 10.1109/CPSBench.2018.00011 ISBN: 978-1-5386-6742-2
129.	Quirin Scheitle, Taejoong Chung, Jens Hiller, Oliver Gasser, Johannes Naab, Roland van Rijswijk-Deij, Oliver Hohlfeld, Ralph Holz, Dave Choffnes, Alan Mislove, and Georg Carle A First Look at Certification Authority Authorization (CAA) ACM SIGCOMM Computer Communications Review (CCR), 48:10-23 April 2018 DOI: 10.1145/3213232.3213235 https://ccronline.sigcomm...hority-authorization-caa/

Export as:

BibTeX, XML