3420 search results - page 351 / 684 » A Language-Based Approach to Security |
205
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
241
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...
197
click to vote
IEEEARES
2010
IEEE
15 years 12 months ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
184
click to vote
SPIC
2010
15 years 1 months ago
2010
Wyner-Ziv coding enables low complexity video encoding with the motion estimation procedure shifted to the decoder. However, the accuracy of decoder motion estimation is often low...
200
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...