19 search results - page 4 / 4 » Caisson: a hardware description language for secure informat... |
AGENTS
2000
Springer
13 years 9 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
CHES
2006
Springer
13 years 9 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
ECMDAFA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
PLDI
2009
ACM
14 years 2 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...