659 search results - page 49 / 132 » Compiling and securing cryptographic protocols |
131
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
135
click to vote
SEC
2001
15 years 3 months ago
2001
Abstract Traditionally, research in secure group key agreement focuses on minimizing the computational overhead for cryptographic operations, and minimizing the communication overh...
128
click to vote
ADHOC
2007
15 years 2 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
124
Voted
WAIFI
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
176
Voted
SCN
2011
Springer
14 years 9 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...