1599 search results - page 116 / 320 » Program Analysis for Security and Privacy |
122
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
144
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
160
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
102
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
125
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This paper reconsiders the threat posed by Shacham's "return-oriented programming" -- a technique by which WX-style hardware protections are evaded via carefully cr...