659 search results - page 103 / 132 » Compiling and securing cryptographic protocols |
116
click to vote
CTRSA
2009
Springer
15 years 9 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...
WISA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...
111
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Delay and disruption tolerant networks (DTNs) can bring much-needed networking capabilities to developing countries and rural areas. DTN features such as high node mobility and in...
107
Voted
DRMTICS
2005
Springer
15 years 4 months ago
2005
Springer
A digital movie can be created jointly under the cooperation of many creators. It is then necessary to provide protection to the creatorship of each participating creator. In this ...
108
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...