5090 search results - page 603 / 1018 » Constructing Strategies for Programming |
214
click to vote
TON
2012
13 years 9 months ago
2012
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
320
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
195
click to vote
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
208
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
172
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
Collusion-secure fingerprinting codes are an important primitive used by many digital watermarking schemes [1, 10, 9]. Boneh and Shaw [3] define a model for these types of codes...