2178 search results - page 378 / 436 » Toward Systemically Secure IT Architectures |
132
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
124
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
This demo presents Signposts, a system to provide users with a secure, simple mechanism to establish and maintain communication channels between their personal cloud of named devi...
117
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
111
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
We present reform, a system that envisions roles for both programmers and end users in enhancing existing websites to support new goals. First, programmers author a traditional ma...
188
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
As the Web has evolved into a data-rich repository, with the standard "page view," current search engines are increasingly inadequate. While we often search for various ...