11603 search results - page 566 / 2321 » Securing Embedded Systems |
176
click to vote
CRYPTOLOGIA
2010
15 years 4 months ago
2010
Abstract. We describe a single framework in which to view the endto-end-independently-verifiable (E2E) polling-place voting systems with a mixnet back-end. We use the framework to ...
217
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
183
click to vote
FPL
2005
Springer
16 years 22 days ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
197
click to vote
CISS
2011
IEEE
14 years 11 months ago
2011
IEEE
—Signals of interests can often be thought to come from a low dimensional signal model. The exploitation of this fact has led to many recent interesting advances in signal proces...