HerQules: securing programs via hardware-enforced message queues.
Daming D. ChenWen Shih LimMohammad BakhshalipourPhillip B. GibbonsJames C. HoeBryan ParnoPublished in: ASPLOS (2021)
Keyphrases
- control program
- low cost
- hardware designs
- high level language
- real time
- hardware and software
- computing systems
- waiting times
- processor sharing
- automatic programming
- computing power
- computer programs
- communication channels
- hardware implementation
- hardware design
- service rates
- massively parallel
- single chip
- answer sets
- program execution
- identity management
- personal computer
- information security
- access control
- runtime environment
- high speed
- special case
- high level programming