Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68130OpenAlexW2491912653MaRDI QIDQ5899015FDOQ5899015

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)