1173 search results - page 131 / 235 » On the Compositionality of Round Abstraction |
98
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
94
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This work presents a thorough investigation of the structure of multicast trees cut from the Internet and power-law topologies. Based on both generated topologies and r...
124
Voted
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We show that finding an efficiently computable injective homomorphism from the XTR subgroup into the group of points over GF(p2 ) of a particular type of supersingular e...
101
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—We introduce and analyze CARMA-MC (for Collision Avoidance and Resolution Multiple Access MultiChannel), a new stable channel access protocol for multihop wireless netwo...
177
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—In this paper we propose a modification of the Explicit Congestion Notification (ECN) [1] to correct the bias against connections with long round trip times (RTT) of T...