Transys: Leveraging Common Security Properties Across Hardware Designs Download pdf Tags: Formal Methods and Language-based Security Hardware Security Design 1816637 2019 SaTC PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Rui Zhang on Thu, 10/10/2019 - 15:59