1183 search results - page 47 / 237 » On flow-sensitive security types |
147
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
139
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
169
click to vote
IJNSEC
2011
14 years 11 months ago
2011
With recent advances in wireless sensor networks and embedded computing technologies, miniaturized pervasive health monitoring devices have become practically feasible. In additio...
134
click to vote
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
122
click to vote
JCS
2008
15 years 4 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni