3003 search results - page 441 / 601 » Software Security: Building Security In |
128
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
131
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
161
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
141
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
136
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...