1599 search results - page 177 / 320 » Program Analysis for Security and Privacy |
127
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
When employing cryptographic tunnels such as the ones provided by Secure Shell (SSH) to protect their privacy on the Internet, users expect two forms of protection. First, they aim...
155
click to vote
TRUST
2009
Springer
15 years 11 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
162
Voted
ESEM
2010
ACM
15 years 2 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
129
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
129
click to vote
PET
2009
Springer
15 years 11 months ago
2009
Springer
There exist well established models for anonymity focusing on traffic analysis, i. e., analysing properties of single messages as, e. g., timing. However there is only little work ...