469 search results - page 46 / 94 » On Adversary Models and Compositional Security |
105
click to vote
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...
ISPEC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Side-channel attacks are a very powerful cryptanalytic technique. Li and Gu [ProvSec’07] proposed an approach against side-channel attacks, which states that a symmetri...