4731 search results - page 348 / 947 » Securing Interactive Programs |
183
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Pervasive devices interacting in open and dynamic spaces with each others require a mechanism that allows them acting autonomously in a secure way and protecting their resources. ...
162
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...
191
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Tor, a distributed Internet anonymizing system, relies on volunteers who run dedicated relays. Other than altruism, these volunteers have no incentive to run relays, causing a lar...
204
click to vote
OOPSLA
2005
Springer
16 years 7 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
197
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...