Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees.
Dino MehmedagicMohammad Rahmani FadihehJohannes MüllerAnna Lena Duque AntónDominik StoffelWolfgang KunzPublished in: USENIX Security Symposium (2023)
Keyphrases
- formal methods
- knowledge based systems
- building blocks
- complex systems
- design issues
- design methodology
- functional verification
- design criteria
- evolvable hardware
- physical design
- interactive systems
- case study
- design process
- intelligent systems
- low cost
- management system
- computing systems
- retrieval systems
- human computer interface
- design considerations
- single chip
- user interface
- programmable logic
- database systems