1240 search results - page 229 / 248 » Trusted Design in FPGAs |
SOUPS
2010
ACM
14 years 10 days ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...
CCS
2010
ACM
13 years 8 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...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
MOBISYS
2008
ACM
14 years 8 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...