Information-Flow Control for Concurrent Programs with Declassification
Daniel Schoepe, doctoral student from Chalmers in information-flow security of functional programs with database interaction, will give a seminar on the 23rd of May titled "Information-Flow Control for Concurrent Programs with Declassification". Welcome!
Tid: On 2018-05-23 kl 13.15
Föreläsare: Daniel Schoepe
Plats: Room 4523, Lindstedtsvägen 5
KTH Security Seminar
The talk is given within the initiative KTH Security Seminar, a seminar series focusing on security and privacy research at KTH. The seminars are open to all interested.