A Framework for Estimating Privacy Risk Scores of Mobile Apps

von Chang, Kai Chih
Veröffentlicht in Information Security Conference (23. : 2020 : Online) Information security (2020)

SAW: A Tool for Safety Analysis of Weakly-Hard Systems

von Huang, Chao
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)