Merlin
From MaRDI portal
Cited in
(18)- Symbolic string transformations with regular lookahead and rollback
- 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
This page was built for software: Merlin
