KASTEL industry 4.0 demonstrator: Provably forgetting information in PLC software

@misc{Weigl2019,
    
    author       = {Alexander Weigl},
    year         = 2019,
    month        = oct,
    title        = {KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software},
    howpublished = {Presentation in the KASTEL Seminar, Karlsruhe, Germany},
    keywords     = {Information flow control,reactive system,security},
    doi          = {10.5445/IR/1000098887},
    language     = {english}
}```