AKER: A design and verification framework for safe and secure soc access control

F Restuccia, A Meza, R Kastner - 2021 IEEE/ACM International …, 2021 - ieeexplore.ieee.org
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP
cores have concurrent access to on-chip shared resources. In security-critical applications …

[引用][C] Aker: A Design and Verification Framework for Safe and Secure SoC Access Control

F Restuccia, A Meza, R Kastner - 2021 - escholarship.org
Aker: A Design and Verification Framework for Safe and Secure SoC Access Control Skip to
main content eScholarship Open Access Publications from the University of California …

Aker: A Design and Verification Framework for Safe and Secure SoC Access Control

F Restuccia, A Meza, R Kastner - 2021 IEEE/ACM International …, 2021 - dl.acm.org
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP
cores have concurrent access to on-chip shared resources. In security-critical applications …

[PDF][PDF] Aker: A Design and Verification Framework for Safe and Secure SoC Access Control

F Restuccia, A Meza, R Kastner - International Conference on Computer …, 2021 - par.nsf.gov
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP
cores have concurrent access to on-chip shared resources. In security-critical applications …

[PDF][PDF] AKER: A Design and Verification Framework for Safe and Secure SoC Access Control

F Restuccia, A Meza, R Kastner - kastner.ucsd.edu
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP
cores have concurrent access to on-chip shared resources. In security-critical applications …

[PDF][PDF] AKER: A Design and Verification Framework for Safe and Secure SoC Access Control

F Restuccia, A Meza, R Kastner - kastner.ucsd.edu
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP
cores have concurrent access to on-chip shared resources. In security-critical applications …