6164 search results - page 724 / 1233 » Teaching Computer Security |
191
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
179
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Visions of smart homes have long caught the attention of researchers and considerable effort has been put toward enabling home automation. However, these technologies have not bee...
293
click to vote
DIMVA
2011
14 years 10 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
201
Voted
DIMVA
2011
14 years 10 months ago
2011
While conventional wisdom holds that residential users experience a high degree of compromise and infection, this presumption has seen little validation in the way of an in-depth s...
198
click to vote
JCS
2011
14 years 9 months ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...