123 search results - page 21 / 25 » Secure implementations of typed channel abstractions |
CHES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Several types of logic gates suitable for leakage-proof computations have been put forward [1,2,3,4]. This paper describes a method, called “backend duplication” to a...
POPL
2000
ACM
14 years 14 hour ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—Low power ad hoc wireless networks operate in conditions where channels are subject to fading. Cooperative diversity mitigates fading in these networks by establishing v...