Skip to main content

Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference

Samuele Buro, Isabella Mastroeni

DOI 10.1007/978-3-319-73721-8_6 dblp BibTeX

No abstract available.

Related papers

Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004
Abstract Local Completeness - A Local Form of Abstract Non-interference VMCAI 2025
The PER Model of Abstract Non-interference SAS 2005
On the Rôle of Abstract Non-interference in Language-Based Security APLAS 2005
Optimizing GPU Deep Learning Operators with Polyhedral Scheduling Constraint Injection CGO 2022
Noise Injection Techniques to Expose Subtle and Unintended Message Races PPoPP 2017
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
Non-interference Preserving Optimising Compilation OOPSLA 2025