1599 search results - page 19 / 320 » Program Analysis for Security and Privacy |
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
CCS
2009
ACM
14 years 18 days ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
CSFW
2004
IEEE
14 years 10 days ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
