611 citations · 1.4k across the 38 of their papers we have counts for
3 papers · 1 filter
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
Felix Rath, Daniel Schemmel, Klaus Wehrle
The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are cur…
Is the Web ready for HTTP/2 Server Push?
Torsten Zimmermann, Benedikt Wolters, Oliver Hohlfeld +1
HTTP/2 supersedes HTTP/1.1 to tackle the performance challenges of the modern Web. A highly anticipated feature is Server Push, enabling servers to send data without explicit clien…
Complying with Data Handling Requirements in Cloud Storage Systems
Martin Henze, Roman Matzutt, Jens Hiller +4
In past years, cloud storage systems saw an enormous rise in usage. However, despite their popularity and importance as underlying infrastructure for more complex cloud services, t…