Ironclad Apps: End-to-End Security via Automated Full-System Verification.
Chris HawblitzelJon HowellJacob R. LorchArjun NarayanBryan ParnoDanfeng ZhangBrian ZillPublished in: OSDI (2014)
Keyphrases
- end to end
- information security
- wireless ad hoc networks
- high bandwidth
- congestion control
- admission control
- intrusion detection
- ad hoc networks
- multipath
- key management
- scalable video
- rate allocation
- security policies
- real time
- access control
- content delivery
- network monitoring
- physical layer
- application layer
- service delivery
- network security