RS3 Workshop on Declassification in RIFL

On June 20-22, a workshop of the DFG priority program Reliably Secure Software Systems (RS3) took place at MAIS. Researchers from DFKI Bremen, TU Darmstadt, and the Karlsruhe Institute of Technology met to extend the information-flow specification language RIFL by support for controlled declassification.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang