Fine-grained information-flow-driven program partitioning
Fields of Study & Subjects
Security and Verification in Computing
Logic
programming
and type systems
Information and Cyber Security
Publication details
- Journal / source
- Computers & Security
- Volume
- 165
- Pages
- 104863–104863
- Publication date
- 12 February 2026
- Language
- EN