Michael Krüger

Learn More
The AGD library provides algorithms, data structures, and tools to create geometric representations of graphs and aims at bridging the gap between theory and practice in the area of graph drawing. It consists of C++ classes and is built on top of the library of efficient data types and algorithms LEDA; an optional add-on to AGD requires ABACUS, a framework(More)
The INCOSE Systems Engineering Handbook is the official INCOSE reference document for understanding systems engineering (SE) methods and conducting SE activities. Over the years, the Handbook has evolved to accommodate advances in the SE discipline and now serves as the basis for the Certified Systems Engineering Professional (CSEP) exam. Due to its(More)
Wireless ad-hoc and sensor networks play a vital role in an ever-growing number of applications ranging from environmental monitoring over vehicular communication to home automation. Security and privacy issues pose a big challenge for the widespread adoption of these networks, especially in the automotive domain. The two most essential security services(More)
Wireless Sensor Networks pose special requirements to the deployed security algorithms, due to their unique properties: a single sensor node has great restrictions in terms of computing power, available memory and available energy. It is nevertheless desirable for the messages exchanged over the air interface to be secure against eavesdropping and forging.(More)
Ever-growing mobility and ubiquitous wireless Internet access raise the need for secure communication with devices that may be severely constrained in terms of processing power, memory capacity and network speed. In this paper we describe a lightweight implementation of the Secure Sockets Layer (SSL) protocol with a focus on small code size and low memory(More)
Even though knowledge management has been around for more than a decade, so far concrete instruments that can be systematically deployed are still rare. This paper presents an optimization solution targeted at flexible management of office space considering knowledge management criteria in order to enhance knowledge work productivity. The paper presents the(More)
In this paper we show that the Inverse problems of HAMILTONIAN CYCLE and 3D-MATCHING are coNP complete. This completes the study of inverse problems of the six natural NP-complete problems from [GJ79] and answers an open question from [Ch03]. We classify the inverse complexity of the natural verifier for HAMIL-TONIAN CYCLE and 3D-MATCHING by showing(More)