Formal Specification of Trusted Execution Environment APIs.
Geunyeol YuSeunghyun ChaeKyungmin BaeSungkun MoonPublished in: FASE (2024)
Keyphrases
- formal specification
- execution environment
- model checking
- specification languages
- object oriented design
- specification language
- reverse engineering
- open source
- formal methods
- concurrent systems
- process algebra
- life cycle
- distributed environment
- lightweight
- semantic web services
- web services
- software components
- temporal logic
- directory service
- databases