659 search results - page 65 / 132 » Compiling and securing cryptographic protocols |
151
Voted
ICPPW
2003
IEEE
15 years 8 months ago
2003
IEEE
The mobile ad hoc network (MANET), which is characterized by an infrastructureless architecture and multi-hop communication, has attracted a lot of attention recently. In the evol...
118
Voted
IJNSEC
2007
15 years 2 months ago
2007
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
164
Voted
EUROCRYPT
2008
Springer
15 years 4 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
117
Voted
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
130
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...