2272 search results - page 75 / 455 » Provable Data Privacy |
90
Voted
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
120
Voted
CCS
1998
ACM
15 years 4 months ago
1998
ACM
Many modern computing environments involve dynamic peer groups. Distributed simulation, multi-user games, conferencing and replicated servers are just a few examples. Given the op...
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
88
Voted
CCS
2010
ACM
15 years 24 days ago
2010
ACM
Users often wish to participate in online groups anonymously, but misbehaving users may abuse this anonymity to disrupt the group's communication. Existing messaging protocol...