Exploring On Compositional Information Flow Aware Refinement
Exploring On Compositional Information Flow Aware Refinement reveals several interesting facts.
- Users routinely type sensitive
- Mechanizing
- Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ...
- Workshop on Software Correctness and Reliability 2017 Verifying secure
- More info about this talk: https://icfp20.sigplan.org/details/icfp-2020-papers/30/Liquid-
In-Depth Information on On Compositional Information Flow Aware Refinement
CSF 2021 Session 1: Information flow " We give, via a relational Hoare-like logic, the specification of an interprocedural and [Full Presentation] Co-Inflow: Coarse-grained Information Flow
Recorded: 10/13/2004 CERIAS Security Seminar at Purdue University
Stay tuned for more updates related to On Compositional Information Flow Aware Refinement.