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

Read more about Schoepe's seminar

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.

About KTH Security Seminar

Tillhör: Avdelningen för teoretisk datalogi
Senast ändrad: 2018-05-17