5355 search results - page 513 / 1071 » Modules |
136
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
159
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
149
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
130
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
141
click to vote
HICSS
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper provides insight into the ramifications of battery exhaustion Denial of Service (DoS) attacks on battery-powered mobile devices. Several IEEE 802.11 Wi-Fi, IEEE 802.15....