swMATH23076MaRDI QIDQ34860FDOQ34860
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1542485
Cited In (18)
- Context-oriented web application protection model
- Predicting program properties from ``big code
- Perracotta
- EROS
- Fable
- Laminar
- Moat
- Privtrans
- VC3
- TaintDroid
- F4F
- TAJ
- Bex
- JSNice
- Saner
- Program synthesis for interactive-security systems
- Automated inference of library specifications for source-sink property verification
- Symbolic string transformations with regular lookahead and rollback
This page was built for software: Merlin
