563 search results - page 64 / 113 » Verifiable Signature Sharing |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
AP2PC
2005
Springer
13 years 11 months ago
2005
Springer
Since there is no method to verify the trustworthiness of shared files in P2P file sharing systems, malicious peers can spread untrustworthy files to the system. In order to pre...
CTRSA
2008
Springer
13 years 10 months ago
2008
Springer
We propose and investigate the notion of aggregate message authentication codes (MACs) which have the property that multiple MAC tags, computed by (possibly) different senders on ...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...