Abstract code injection. A semantic approach based on abstract non-interference

DOI10.1007/978-3-319-73721-8_6MaRDI QIDQ3296325zbMATH OpenOpenAlexFDO

Authors Samuele Buro, Isabella Mastroeni

Publication date 7 July 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-73721-8_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Defining code-injection attacks
• Abstract non-interference
• Boolean formulas for the static identification of injection attacks in Java
• Preventing injection attacks with syntax embeddings

Cited in

(6)

• Defining code-injection attacks
• Boolean formulas for the static identification of injection attacks in Java
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Automata, Languages and Programming
• Preventing injection attacks with syntax embeddings
• Improving dynamic code analysis by code abstraction

This page was built for publication: Abstract code injection. A semantic approach based on abstract non-interference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296325)