Pages that link to "Item:Q865705"
From MaRDI portal
The following pages link to Security types preserving compilation (Q865705):
Displaying 8 items.
- Integration of a security type system into a program logic (Q935469) (← links)
- Secure information flow via linear continuations (Q1870493) (← links)
- (Q4411972) (← links)
- (Q5856419) (← links)
- (Q5875439) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901899) (← links)
- Securing a compiler transformation (Q5916265) (← links)
- Hybrid information flow control for low-level code (Q6041280) (← links)