1229 search results - page 216 / 246 » Trusted Computing |
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
DRM
2006
Springer
13 years 11 months ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Elections in India are conducted almost exclusively using electronic voting machines developed over the past two decades by a pair of government-owned companies. These devices, kn...
JUCS
2010
13 years 6 months ago
2010
: With the spreading of embedded and mobile devices, public-key cryptography has become an important feature for securing communication and protecting personal data. However, the c...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Mobility footprint refers to the size, weight, and energy demand of the hardware that must be carried by a mobile user to be effective at any time and place. The ideal of a zero m...