Run-time monitoring and formal analysis of information flows in Chromium (2015)

by L BAUER, S CAI, L JIA, T PASSARO, M STROUCKEN, Y TIAN
Venue:In Proc. Annual Network & Distributed System Security Sym. (NDSS