Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

STARK Tamperproof Authentication to Resist Keylogging (2013) Müller T, Spath H, Mäckl R, Freiling F Conference contribution, Conference Contribution EsseOS: Haskell-based Tailored Services for the Cloud (2013) Stengel K, Schmaus F, Kapitza R Conference contribution A Scalability-Aware Kernel Executive for Many-Core Operating Systems (2013) Drescher G, Hönig T, Maier S, Oechslein B, Schröder-Preikschat W Conference contribution Proactive Energy-Aware System Software Design with SEEP (2013) Hönig T, Eibel C, Schröder-Preikschat W, Kapitza R Conference contribution Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability (2012) Tartler R, Kurmus A, Heinloth B, Rothberg V, Ruprecht A, Dorneanu D, Kapitza R, et al. Conference contribution, Conference Contribution Design and Implementation of a Transparent Memory Encryption and Transformation System (2012) Würstlein A Thesis Fehlertoleranz-Techniken automatisiert einbetten (2012) Stilkerich I, Sechser B Journal article Semantische Adaption von Komponenten (2012) Söldner G Thesis DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments (2012) Behl J, Distler T, Kapitza R Conference contribution Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems (2012) Stilkerich M Thesis