SpecVerilog: Adapting Information Flow Control for Secure Speculation.
Drew ZagieboyloCharles SherkAndrew C. MyersG. Edward SuhPublished in: CCS (2023)
Keyphrases
- information flow control
- information flow
- identity management
- software engineering
- group communication
- user authentication
- standard model
- scalar product
- covert channel
- security management
- cryptographic protocols
- key distribution
- real time
- security protocols
- security requirements
- highly efficient
- lightweight
- distributed systems
- neural network