611 citations · 1.4k across the 38 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018★ 12 cited
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…
cs.SE2014★ 38 cited
User-driven Privacy Enforcement for Cloud-based Services in the Internet of Things
Martin Henze, Lars Hermerschmidt, Daniel Kerpen +3
Internet of Things devices are envisioned to penetrate essentially all aspects of life, including homes and urbanspaces, in use cases such as health care, assisted living, and smar…