Design and Architecture of Progger 3: A Low-Overhead, Tamper-Proof Provenance System. - Tristan Corrick; Vimal Kumar 001 (UbiSec, 2021)