6527 search results - page 1084 / 1306 » On Typing Information Flow |
267
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
222
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
167
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...
211
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
200
click to vote
CANDC
2005
ACM
15 years 9 months ago
2005
ACM
The traditional view of the “home computer” is as a selfcontained appliance: computation, on this view, is something that takes place within a desktop box, and that produces i...