More Typed Assembly Languages for Confidentiality
From MaRDI portal
Publication:3498434
DOI10.1007/978-3-540-76637-7_7zbMath1137.68359MaRDI QIDQ3498434
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_7
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Cites Work
- Secure information flow via linear continuations
- More Typed Assembly Languages for Confidentiality
- A dependently typed assembly language
- Transforming out timing leaks
- Resource bound certification
- Theoretical Computer Science
- Programming Languages and Systems
- Verification, Model Checking, and Abstract Interpretation
- Unnamed Item
- Unnamed Item