A simple semantics and static analysis for stack inspection

MaRDI QIDQ4994699zbMATH OpenFDO

Authors Anindya Banerjee, David A. Naumann

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5144, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Security-aware program transformations.
• Stack-based access control and secure information flow
• Stack inspection
• Interfaces for stack inspection
• scientific article; zbMATH DE number 1693037

Cited in

(13)

• Representation independence, confinement and access control (extended abstract)
• Typing a multi-language intermediate code
• Securing the .NET programming model
• Stack-based access control and secure information flow
• Runtime access control in C\(\#\)
• A static type system for JVM access control
• scientific article; zbMATH DE number 1693037 (Why is no real title available?)
• Interfaces for stack inspection
• Java access protection through typing
• Security-aware program transformations.
• scientific article; zbMATH DE number 1956543 (Why is no real title available?)
• Magic-sets for localised analysis of Java bytecode
• Stack inspection

This page was built for publication: A simple semantics and static analysis for stack inspection

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