Caisson: a hardware description language for secure information flow.
Xun LiMohit TiwariJason ObergVineeth KashyapFrederic T. ChongTimothy SherwoodBen HardekopfPublished in: PLDI (2011)
Keyphrases
- information flow
- hardware description language
- integrated circuit
- hardware design
- information flows
- social networks
- flow analysis
- information security
- programmable logic
- supply chain
- field programmable gate array
- functional modules
- multi threaded
- communication networks
- flow graph
- information propagation
- hardware designs
- reactive systems
- case study
- computing systems
- smart card
- decision support
- low cost
- multi context systems
- software engineering