1274 search results - page 242 / 255 » New Proofs for |
CCS
2003
ACM
14 years 23 days ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
GECCO
2010
Springer
14 years 10 days ago
2010
Springer
The Hypercube-based NeuroEvolution of Augmenting Topologies (HyperNEAT) approach demonstrated that the pattern of weights across the connectivity of an artificial neural network ...
ESOP
2001
Springer
14 years 23 hour ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
French government has launch in 2000 a public debate about conservation of data and electronic documents. Due to the widespread use of Internet and extranet technologies, especial...
ACSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
It is well-known that CA plays the central role in PKI. In this paper we introduce a new component into PKI, DA (decryption authority), which decrypts important and sensitive mess...