Pages that link to "Item:Q1566911"
From MaRDI portal
The following pages link to A semantic approach to secure information flow (Q1566911):
Displaying 31 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- A comparison of semantic models for noninterference (Q604479) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Compile-time detection of information flow in sequential programs (Q826055) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Formalizing non-interference for a simple bytecode language in Coq (Q931434) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Inferring secrets by guided experiments (Q1675815) (← links)
- Semantic models for information flow (Q1826632) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- Semantic models for the security of sequential and concurrent programs (Q2724215) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Secure information flow by self-composition (Q3103613) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis (Q3163895) (← links)
- A Policy Model for Secure Information Flow (Q3184709) (← links)
- Assessing security threats of looping constructs (Q3189801) (← links)
- Secure Multi-party Computation: Information Flow of Outputs and Game Theory (Q3304808) (← links)
- Information Flow in Object-Oriented Software (Q3453646) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
- (Q4518881) (← links)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Information Security and Privacy (Q5473541) (← links)
- Mechanizing Mathematical Reasoning (Q5717455) (← links)
- Quantification of integrity (Q5740622) (← links)
- A per model of secure information flow in sequential programs (Q5936652) (← links)
