5488 search results - page 798 / 1098 » On the Secure Implementation of Security Protocols |
183
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Many users face surveillance of their Internet communications and a significant fraction suffer from outright blocking of certain destinations. Anonymous communication systems a...
192
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...
213
click to vote
WMASH
2004
ACM
16 years 22 hour ago
2004
ACM
Wireless access at cafes, airports, homes and businesses have proliferated all over the globe with several different Wireless Internet Service Providers. Similarly, digital media ...
237
Voted
POPL
2000
ACM
15 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
196
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...