Security-aware program transformations.

DOI10.1007/B13810MaRDI QIDQ5897372zbMATH OpenOpenAlexFDO

Authors Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

Publication date 23 February 2010

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

Full work available at URL https://doi.org/10.1007/b13810

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• A simple semantics and static analysis for stack inspection
• Stack inspection
• scientific article; zbMATH DE number 1956543
• Interfaces for stack inspection
• Securing a compiler transformation

Cited in

(11)

• Program specialization for execution monitoring
• scientific article; zbMATH DE number 1948426 (Why is no real title available?)
• scientific article; zbMATH DE number 1956543 (Why is no real title available?)
• Interfaces for stack inspection
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• scientific article; zbMATH DE number 1832229 (Why is no real title available?)
• A new criterion for safe program transformations
• A simple semantics and static analysis for stack inspection
• Enforcing trace properties by program transformation
• Securing a compiler transformation
• Securing a compiler transformation

This page was built for publication: Security-aware program transformations.

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