Kilic, FatihSecurity Investigation in Encrypted Environment2017Dissertation163 p.
Velten, MichaelHardware-based Integrity Protection combined with Continuous User Verification in Virtualized Systems2017Dissertation163 p.
Kittel, ThomasCode and Data Integrity of Modern Operating Systems2017Dissertation230 p.
Ibing, AndreasDynamic Symbolic Execution with Scalable Interpolation Based Path Merging2017Dissertation134 p.
Xiao, HuangAdversarial and Secure Machine Learning2017Dissertation153 p.