4770 search results - page 702 / 954 » Flexible Type Analysis |
161
click to vote
AFRICACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
187
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
167
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
143
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
Reducing feature sizes and power supply voltage allows integrating more processing units (PUs) on multiprocessor system-on-chip (MPSoC) to satisfy the increasing demands of applic...
190
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...