97 search results - page 11 / 20 » Consistency Checking of Safety and Availability in Access Co... |
USS
2004
15 years 12 days ago
2004
Buffer overflow exploits make use of the treatment of strings in C as character arrays rather than as first-class objects. Manipulation of arrays as pointers and primitive pointer...
105
click to vote
TKDE
2002
14 years 10 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
189
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
116
click to vote
ICFP
2010
ACM
15 years 3 days ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
103
click to vote
DAC
2007
ACM
16 years 1 days ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...