Browsing by Author "Keck, Philipp"

Now showing 1 - 3 of 3

Open Access
Analysing and improving the crypto ecosystem of Rust
(2017) Keck, Philipp
Context: Rust is an emerging systems programming language that suits security-critical applications because it guarantees memory safety without a garbage collector. Its growing ecosystem already encompasses several crypto libraries, though the competition is still open. Previous cryptography research found that vulnerabilities are often due to misunderstandings and misuse of cryptographic APIs rather than bugs in the libraries themselves. Aim: This thesis presents a holistic analysis of Rust's current crypto ecosystem and aims to improve its further development. A particular focus is on API design because all libraries are still open to change their APIs and it will become increasingly difficult to change them later. Method: All parts of the ecosystem are systematically analysed, guided by the general structure of a crypto ecosystem. Research methods include a systematic search for libraries, a survey among contributors, GitHub analyses as well as a self-experiment and a controlled experiment to test the usability. Results: The contributors are typical open source developers and they collaborate in typical ways on GitHub. Most libraries have a clear main developer and there is a general lack of contributors. While two of the major libraries focus on usability and are consequently easier to use and more resistant to misuse, the two most widespread libraries consciously neglect these topics and exhibit flaws known from crypto libraries in other languages. Conclusion: The misuse resistant Rust crypto libraries should be advertised more actively. In the medium term, an officially endorsed API could improve interoperability and foster competition. For such an API and for the improvement of existing APIs, the thesis discusses a number of design decisions and their usability implications.
Open Access
Evaluation of load testing tools
(2014) Murawski, Gustav; Keck, Philipp; Schnaible, Sven
This study evaluates common load testing tools with focus on AJAX based web applications, including JSF ViewState and WebSockets as special cases. Load tests are created and executed using an internal application provided by the collaborating company NovaTec GmbH. The evaluation focuses on the efficient creation and maintainance of workload specifications, which is of great importance when employing load tests in larger projects. Eight tools have been tested and recommendations are given for different use cases at the end of the paper.
Open Access
Optimierung von Schulstundenplänen
(2014) Keck, Philipp
Die automatische Erstellung von Stundenplänen für Schulen ist seit vielen Jahren Forschungsgegenstand in den Bereichen der Künstlichen Intelligenz und der Unternehmensforschung. Diese Arbeit kombiniert Techniken aus beiden Bereichen: Eine Modellierung als Constraint Satisfaction Problem und eine Modellierung als pseudo-boolesches Optimierungsproblem werden jeweils mit der Relaxierung des zugehörigen linearen Programms kombiniert, um schneller bessere Ergebnisse zu erzielen. Für jede Variante und Kombination dieser Modellierungen wurden Tests mit vier verschiedenen Probleminstanzen durchgeführt. Die Ergebnisse zeigen, dass die vorgestellten Verfahren zumindest für kleinere Schulen, wie beispielsweise deutsche Grundschulen, ähnlich schnell sind wie etablierte Verfahren. Im Unterschied zu diesen liefern die vorgestellten Verfahren jedoch stets vollständig zulässige und beweisbar optimale Lösungen und sind zudem einfacher erweiterbar und anpassbar. In Kombination mit kommerziellen Lösern erzielen die vorgestellten Modellierungen auch für größere Probleminstanzen, wie z. B. die von deutschen Gymnasien, bessere Ergebnisse. Die Modellierungen und Ergebnisse in dieser Arbeit sind spezifisch für das deutsche Schulsystem.