26 search results - page 6 / 6 » From Coinductive Proofs to Exact Real Arithmetic |
BLISS
2009
IEEE
13 years 6 months ago
2009
IEEE
Self configuring VLSI technology architectures offer a new environment for creating novel security functions. Two such functions for physical security architectures are proposed t...