207 search results - page 17 / 42 » Expressive Subgroup Signatures |
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper considers a relay communication system where cooperative diversity is achieved by spreading the relay transmissions using direct-sequence CDMA (DS/CDMA). We derive e...
ICFP
1997
ACM
14 years 3 days ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
CPP
2011
12 years 7 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...