A Graph-based Theory to Analyze App Soundness Properties

Published in Under Progress, 2021

Download paper here