Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899015zbMATH OpenOpenAlexFDO

Authors Dachuan Yu, Nayeem Islam

Publication date 2 May 2007

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• More Typed Assembly Languages for Confidentiality
• Security types preserving compilation
• Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation
• Instruction-level security analysis for information flow in stack-based assembly languages

Cited in

(10)

• Theoretical Computer Science
• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• Hybrid information flow control for low-level code
• Security types preserving compilation
• More Typed Assembly Languages for Confidentiality
• Theoretical Aspects of Computing – ICTAC 2005
• Instruction-level security analysis for information flow in stack-based assembly languages
• scientific article; zbMATH DE number 1746459 (Why is no real title available?)
• Cryptographically sound implementations for typed information-flow security
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Programming Languages and Systems

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