611 citations · 1.4k across the 38 of their papers we have counts for
5 papers · 1 filter
A novel receiver design for energy packet-based dispatching
Friedrich Wiegel, Edoardo De Din, Antonello Monti +4
A steadily growing share of renewable energies with uctuating and decentralized generation as well as rising peak loads require novel solutions to ensure the reliability of electri…
Easing the Conscience with OPC UA: An Internet-Wide Study on Insecure Deployments
Markus Dahlmanns, Johannes Lohmöller, Ina Berenice Fink +3
Due to increasing digitalization, formerly isolated industrial networks, e.g., for factory and process automation, move closer and closer to the Internet, mandating secure communic…
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, César Rodríguez +2
We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosio…
Utilizing Public Blockchains for the Sybil-Resistant Bootstrapping of Distributed Anonymity Services
Roman Matzutt, Jan Pennekamp, Erik Buchholz +1
Distributed anonymity services, such as onion routing networks or cryptocurrency tumblers, promise privacy protection without trusted third parties. While the security of these ser…
How to Securely Prune Bitcoin's Blockchain
Roman Matzutt, Benedikt Kalde, Jan Pennekamp +3
Bitcoin was the first successful decentralized cryptocurrency and remains the most popular of its kind to this day. Despite the benefits of its blockchain, Bitcoin still faces seri…