@misc{indiciae73b7420b3b1c, title = {AKER: A Design and Verification Framework for Safe andSecure SoC Access Control}, author = {Francesco Restuccia and Andres Meza and Ryan Kastner}, year = {2021}, url = {https://arxiv.org/abs/2106.13263}, note = {Source identifier: 2106.13263} }