Merlin
From MaRDI portal
Cited in
(18)- Program synthesis for interactive-security systems
- Context-oriented web application protection model
- Perracotta
- Predicting program properties from ``big code
- Automated inference of library specifications for source-sink property verification
- Symbolic string transformations with regular lookahead and rollback
- Privtrans
- Laminar
- VC3
- EROS
- Moat
- Fable
- TaintDroid
- F4F
- TAJ
- JSNice
- Bex
- Saner
This page was built for software: Merlin
