1210 search results - page 123 / 242 » Secure Logic Synthesis |
242
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
123
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Typical web sessions can be hijacked easily by a network eavesdropper in attacks that have come to be designated "sidejacking." The rise of ubiquitous wireless networks,...
106
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we present the power estimation methodologies for the development of a low-power security processor that contains significant amount of logic and memory. For the lo...
152
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
136
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...