Security types preserving compilation
From MaRDI portal
Publication:865705
DOI10.1016/J.CL.2005.05.002zbMATH Open1109.68025OpenAlexW2017639917WikidataQ115098008 ScholiaQ115098008MaRDI QIDQ865705FDOQ865705
Authors: Gilles Barthe, Tamara Rezk, Amitabh Basu 
Publication date: 20 February 2007
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cl.2005.05.002
Recommendations
Cites Work
- Isabelle/HOL. A proof assistant for higher-order logic
- A uniform type structure for secure information flow
- Secrecy by typing in security protocols
- Java bytecode verification: Algorithms and formalizations
- Theoretical Computer Science
- Verification, Model Checking, and Abstract Interpretation
- Verified bytecode verifiers.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modern Compiler Implementation in Java
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
Cited In (16)
- Title not available (Why is that?)
- Theoretical Computer Science
- On flow-sensitive security types
- Title not available (Why is that?)
- Programming Languages and Systems
- Output-sensitive information flow analysis
- Hybrid information flow control for low-level code
- Securing a compiler transformation
- Securing a compiler transformation
- Theoretical Aspects of Computing – ICTAC 2005
- Secure information flow via linear continuations
- Output-sensitive information flow analysis
- Verification, Model Checking, and Abstract Interpretation
- A secure compiler for ML modules
- Integration of a security type system into a program logic
- Title not available (Why is that?)
Uses Software
This page was built for publication: Security types preserving compilation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865705)
