5476 search results - page 911 / 1096 » Resettably Secure Computation |
164
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
189
click to vote
MOBILITY
2009
ACM
16 years 1 months ago
2009
ACM
Implementing an electronic payment system involves striking a balance between usability and security. Systems that allow payments to be completed with little effort on the part of...
150
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we study the impact of today’s IT policies, defined based upon a monoculture approach, on the performance of endhost anomaly detectors. This approach leads to th...
174
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Feedback is viewed as an essential element of ubiquitous computing systems in the HCI literature for helping people manage their privacy. However, the success of online social net...
159
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...