Interface Theory for Security and Privacy
Project Period: 2023-01-01 – 2026-12-31
Funder:
Austrian Science Fund
Acronym
SPyCoDe
Principal Investigator
Department(s)
Grant Number
F8502
Funder
Austrian Science Fund
Funder Schema
FWF-SFB
Funder Registry
10 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 21042 |
Anthemius: Efficient and modular block assembly for concurrent execution
R. Neiheiser, E. Kokoris Kogias, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 307–323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Neiheiser, E. Kokoris Kogias, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 307–323.
2025 |
Published |
Journal Article |
IST-REx-ID: 20186 |
| 
|
Gray-box runtime enforcement of hyperproperties
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
2025 |
Published |
Book Chapter |
IST-REx-ID: 20723 |
Information-Flow Interfaces and Security Lattices
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.
2025 |
Published |
Journal Article |
IST-REx-ID: 20866 |
Hypernode automata
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21017 |
|
|
Kauri: BFT consensus with pipelined tree-based dissemination and aggregation
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21089 |
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
2025 |
Published |
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 66 (2025) 3–48.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
| WoS
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.