The following pages link to Information flow inference for ML (Q5178916):
Displaying 17 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- The spirit of ghost code (Q518394) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Arrows for secure information flow (Q964489) (← links)
- Verifying constant-time implementations by abstract interpretation (Q2167720) (← links)
- Information flow control in software DB units based on formal verification (Q2172738) (← links)
- Coupled relational symbolic execution for differential privacy (Q2233459) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL (Q3303921) (← links)
- Inter-program Properties (Q3392934) (← links)
- Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
- Programming Languages and Systems (Q5308690) (← links)
- Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)
- Towards the complexity analysis of programming language proof methods (Q6605344) (← links)