357 search results - page 70 / 72 » Code security analysis with assertions |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
It is increasingly common for users to interact with the web using a number of different aliases. This trend is a doubleedged sword. On one hand, it is a fundamental building bloc...
IJNSEC
2008
13 years 9 months ago
2008
The Internet is crucial to business, government, education and many other facets of society and its continuing scalability places serious challenges on the routing system's c...