3115 search results - page 593 / 623 » Synthesizing Secure Protocols |
122
click to vote
INTERACT
2003
15 years 5 months ago
2003
As a number of networked digital devices are ubiquitously used, control of inter-device communications becomes a complicated task. People can no longer keep track of all the device...
136
click to vote
CHES
2010
Springer
15 years 5 months ago
2010
Springer
The need for lightweight (that is, compact, low-power, low-energy) cryptographic hash functions has been repeatedly expressed by application designers, notably for implementing RFI...
123
click to vote
CCR
2008
15 years 4 months ago
2008
In this paper we present Cyclops, a system that collects and displays information of AS-level connectivity extracted from looking glasses, route-servers and BGP tables and updates...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the past few years, IRC bots, malicious programs which are remotely controlled by the attacker through IRC servers, have become a major threat to the Internet and users. These ...
151
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...