14824 search results - page 2624 / 2965 » Security - Introduction |
119
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
115
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
147
click to vote
WMASH
2003
ACM
15 years 8 months ago
2003
ACM
In recent years, wireless Internet service providers (WISPs) have established Wi-Fi hotspots in increasing numbers at public venues, providing local coverage to traveling users an...
137
Voted
WMASH
2003
ACM
15 years 8 months ago
2003
ACM
To be widely adopted, location-aware computing must be as effortless, familiar and rewarding as web search tools like Google. We envisage the global scale Place Lab, consisting of...
113
Voted
WPES
2003
ACM
15 years 8 months ago
2003
ACM
There have long been threads of investigation into covert channels, and threads of investigation into anonymity, but these two closely related areas of information hiding have not...