1599 search results - page 52 / 320 » Program Analysis for Security and Privacy |
113
click to vote
MAS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
128
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
102
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
117
click to vote
ACISP
2008
Springer
15 years 3 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
112
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Heap-based attacks depend on a combination of memory management errors and an exploitable memory allocator. We analyze a range of widely-deployed memory allocators, including thos...