813 search results - page 48 / 163 » On the interaction between sharing and linearity |
MSWIM
2009
ACM
15 years 6 months ago
2009
ACM
In a Multi-hop Wireless Networks (MHWN), packets are routed between source and destination using a chain of intermediate nodes; chains are a fundamental communication structure in...
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
111
click to vote
IACR
2011
13 years 11 months ago
2011
We consider the question of how to store a value secretly on devices that continually leak information about their internal state to an external attacker. If the secret value is s...
ET
2010
14 years 9 months ago
2010
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
109
click to vote
JSAC
2007
14 years 11 months ago
2007
Abstract— In this paper we consider the problem of provisioning spare capacity in two-layer backbone networks using shared backup path protection. First, two spare capacity alloc...