2363 search results - page 296 / 473 » How Secure is RFID |
152
click to vote
COCO
2009
Springer
16 years 22 days ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
138
Voted
TAP
2009
Springer
16 years 20 days ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
167
Voted
ADC
2007
Springer
16 years 10 days ago
2007
Springer
XQuery is a powerful and convenient language that is designed for querying the data in XML documents. In this paper, we address how to optimally query encrypted XML documents usin...
151
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
143
Voted
ISW
2004
Springer
15 years 11 months ago
2004
Springer
The ICAT statistics over the past few years have shown at least one out of every five CVE and CVE candidate vulnerabilities have been due to buffer overflows. This constitutes a si...