KIT | KIT-Bibliothek | Impressum | Datenschutz

A Refactoring for Data Minimisation Using Formal Verification

Lanzinger, Florian ORCID iD icon 1; Ulbrich, Mattias ORCID iD icon 1; Weigl, Alexander ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-19756-7
ISSN: 0302-9743
KITopen-ID: 1000151741
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Ed.: T. Margaria
Veranstaltung 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rhodos, Griechenland, 22.10.2022 – 30.10.2022
Verlag Springer Nature Switzerland
Seiten 345–364
Serie Lecture Notes in Computer Science ; 13702
Vorab online veröffentlicht am 17.10.2022
Nachgewiesen in Scopus
Dimensions

Postprint §
DOI: 10.5445/IR/1000151741
Veröffentlicht am 18.10.2023
Originalveröffentlichung
DOI: 10.1007/978-3-031-19756-7_19
Scopus
Zitationen: 1
Dimensions
Zitationen: 1
Seitenaufrufe: 85
seit 26.10.2022
Downloads: 37
seit 04.11.2023
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page