5488 search results - page 968 / 1098 » On the Secure Implementation of Security Protocols |
273
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
155
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
149
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Web 2.0 applications, including blogs, wikis and social networking sites, pose challenging privacy issues. Many users are unaware that search engines index personal information ...
177
click to vote
JCDL
2009
ACM
16 years 24 days ago
2009
ACM
Due to temporary access restrictions, embargoed data cannot be refreshed to unlimited parties during the embargo time interval. A solution to mitigate the risk of data loss has be...
136
click to vote
SIGCOMM
2009
ACM
16 years 24 days ago
2009
ACM
As virtualized data-centres become the back-end platforms behind a new generation of utility and cloud computing infrastructures (such as AmazonAWS [1]) their multi-tenancy, scale...