Interface Theory for Security and Privacy

Project Period: 2023-01-01 – 2026-12-31
Funder: FWF
Acronym
SPyCoDe
Principal Investigator
Department(s)
Henzinger_Thomas Group
Grant Number
F8502
Funder
FWF

1 Publication

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed