357 search results - page 54 / 72 » Code security analysis with assertions |
170
Voted
MINENET
2006
ACM
15 years 10 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
136
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
170
click to vote
TIT
2010
14 years 11 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...
159
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
144
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Spread spectrum techniques such as Direct Sequence Spread Spectrum (DSSS) and Frequency Hopping (FH) have been commonly used for anti-jamming wireless communication. However, trad...