Interface Theory for Security and Privacy
Project Period: 2023-01-01 – 2026-12-31
Externally Funded
Acronym
SPyCoDe
Principal Investigator
Thomas A Henzinger
Department(s)
Henzinger_Thomas Group
Grant Number
F8502
Funder
FWF
1 Publication
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 | 
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
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).