9 citations · 22 across the 11 of their papers we have counts for
1 paper · 1 filter
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…