4609 search results - page 319 / 922 » Automatic Generation of Sigma-Protocols |
154
click to vote
NDSS
2007
IEEE
16 years 28 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
196
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
197
click to vote
IEEEPACT
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
174
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
217
click to vote
EAGC
2003
Springer
15 years 12 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...