High-Level Synthesis of Security Properties via Software-Level Abstractions.
Christian PilatoFrancesco RegazzoniPublished in: CoRR (2021)
Keyphrases
- security properties
- high level synthesis
- security requirements
- formal methods
- security vulnerabilities
- security analysis
- software architecture
- formal model
- software systems
- artificial intelligence
- computer systems
- knowledge based systems
- design space exploration
- user interface
- autonomous agents
- embedded systems
- software development
- source code