CAPSL: A Tool for Automatic Generation of Hardware Sandboxes for IP Security.

Taylor J. L. Whitaker, Christophe Bobda

Browse the full FCCM paper archive.