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

DOI10.1007/978-3-319-73721-8_6zbMATH Open1446.68029OpenAlexW2777297765MaRDI QIDQ3296325FDOQ3296325

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

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)