2020 IEEE Symposium on Security and Privacy (SP)
Transys: Leveraging Common Security Properties Across Hardware Designs
DOI Bookmark: 10.1109/SP40000.2020.00030
Authors
Rui Zhang, University of North Carolina at Chapel HillCynthia Sturton, University of North Carolina at Chapel Hill