947 search results - page 142 / 190 » Provable Implementations of Security Protocols |
CCR
2006
13 years 10 months ago
2006
Releasing network measurement data--including packet traces-to the research community is a virtuous activity that promotes solid research. However, in practice, releasing anonymiz...
CRYPTO
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
TIFS
2008
13 years 9 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
TCC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...