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

Researcher

Tel: +49 721/608-45992

Fax: +49 721/608-45990

kateryna.yurchenko(at)kit.edu

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

Publications are listed on a separate page.

Open Theses

Preservation of Data Consistency for Confidentiality Verification

Motivation

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]