4609 search results - page 324 / 922 » Automatic Generation of Sigma-Protocols |
226
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
213
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
233
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
196
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Automatic signature generation is necessary because there may often be little time between the discovery of a vulnerability, and exploits developed to target the vulnerability. Mu...
184
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...