2108 search results - page 415 / 422 » Encrypted |
105
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
DOCENG
2010
ACM
15 years 1 months ago
2010
ACM
: APEX: Automated Policy Enforcement eXchange Steven J. Simske, Helen Balinsky HP Laboratories HPL-2010-134 Policy, Text Analysis, Policy Server, Policy Editor, Document Systems, ...
107
Voted
CCS
2010
ACM
15 years 28 days ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
112
click to vote
CCS
2010
ACM
15 years 28 days ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
117
Voted
SOUPS
2010
ACM
15 years 27 days ago
2010
ACM
Home networks are common but notoriously difficult to setup and maintain. The difficulty users experience in setting up and maintaining their home network is problematic because o...