Kazuo Sakiyama et al., Dagstuhl Seminar 19301, “Secure Composition for Hardware Systems,” (21-26, Jul., 2019).