Bachelor’s Theses
Topic | Supervisors |
---|---|
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications | Robert Heinrich, Niclas Kannengießer |
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen | Christopher Gerking |
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen | Christopher Gerking |
Master’s Theses