Security-aware program transformations.

DOI10.1007/B13810zbMATH Open1257.68054OpenAlexW3144329707MaRDI QIDQ5897372FDOQ5897372

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A new criterion for safe program transformations
• Enforcing trace properties by program transformation
• Securing a compiler transformation
• Securing a compiler transformation
• Interfaces for stack inspection
• Title not available (Why is that?)
• A simple semantics and static analysis for stack inspection
• Title not available (Why is that?)
• Program specialization for execution monitoring

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)