Home | Sitemap | Index | Contact | Legals | KIT
M.Sc. Kateryna Yurchenko


Tel: +49 721/608-45992

Fax: +49 721/608-45990


Chair Prof. Reussner
Institute for Program Structures and Data Organization
Karlsruhe Institute of Technology (KIT)
Building 50.34
Am Fasanengarten 5
76131 Karlsruhe, Germany

Room 324


Publications are listed on a separate page.

Open Theses

Preservation of Data Consistency for Confidentiality Verification


A software system shall process data with respect to the modeled confidentiality require- ments. To verify such confidentiality requirements in code, one needs proof obligations. We are currently working on an approach to generate such proof obligations from a software ar- chitecture model. A crucial issue here is to keep information consistent across abstract con- fidentiality...[more]