Saner

swMATH37817MaRDI QIDQ53518FDOQ53518

Author name not available (Why is that?)

Cited In (9)

• Symbolic String Verification: Combining String Analysis and Size Analysis
• Context-oriented web application protection model
• Symbolic String Transformations with Regular Lookahead and Rollback
• String theories involving regular membership predicates: from practice to theory and back
• Towards more efficient methods for solving regular-expression heavy string constraints
• Equivalence of Finite-Valued Symbolic Finite Transducers
• Dynamic management of capabilities in a network aware coordination language
• A survey on server-side approaches to securing web applications
• Automata-based symbolic string analysis for vulnerability detection

This page was built for software: Saner