BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. - Lok K. Yan; Benjamin Price; Michael Zhivich; Brian Caswell; Christopher Eagle; Michael Frantzen; Holt Sorenson; Michael Thompson; Timothy Vidas; Jason Wright; Vernon Rivet; Samuel Colt VanWinkle; et al. (SecDev, 2018)

Integration verification across software and hardware for a simple embedded system. - Andres Erbsen; Samuel Gruetter; Joonwon Choi; Clark Wood; Adam Chlipala (PLDI, 2021)