248 search results - page 17 / 50 » Authentication Primitives and Their Compilation |
206
Voted
FC
2007
Springer
16 years 18 days ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...
177
click to vote
JUCS
2007
15 years 6 months ago
2007
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
217
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
177
click to vote
CVPR
2007
IEEE
16 years 23 days ago
2007
IEEE
Since biometric data cannot be easily replaced or revoked, it is important that biometric templates used in biometric applications should be constructed and stored in a secure way...
172
Voted
WINET
2002
15 years 6 months ago
2002
As sensor networks edge closer towards wide-spread deployment, security issues become a central concern. So far, much research has focused on making sensor networks feasible and u...