3003 search results - page 410 / 601 » Software Security: Building Security In |
157
click to vote
CCS
2011
ACM
14 years 5 months ago
2011
ACM
We extend Goldberg’s multi-server information-theoretic private information retrieval (PIR) with a suite of protocols for privacypreserving e-commerce. Our first protocol adds ...
163
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
138
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
178
Voted
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
149
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...