Saner
From MaRDI portal
Cited in
(23)- Dynamic management of capabilities in a network aware coordination language
- StringFuzz
- Context-oriented web application protection model
- Stranger
- String theories involving regular membership predicates: from practice to theory and back
- Automata-based symbolic string analysis for vulnerability detection
- AMNESIA
- Symbolic automata
- CSSV
- Snort
- Towards more efficient methods for solving regular-expression heavy string constraints
- Equivalence of finite-valued symbolic finite transducers
- LIFT
- Sigma*
- Symbolic string transformations with regular lookahead and rollback
- Merlin
- Fable
- Symbolic String Verification: Combining String Analysis and Size Analysis
- Pixy
- Z3str2
- TAJ
- A survey on server-side approaches to securing web applications
- Bex
This page was built for software: Saner
