Collabrative verification of information flow for high insurance app store

Date: February 18, 2025