Lightning Talk: The Incredible Shrinking Black Box Model

A black box model is an assumption on the implementation of a cryptographic primitive to limit the capabilities of the attacker. Black boxes are a useful component in a proof of protocol correctness, but it is not obvious how to securely implement one in hardware. The current state of the art in tam...

Full description

Saved in:
Bibliographic Details
Published in:2023 60th ACM/IEEE Design Automation Conference (DAC) pp. 1 - 2
Main Author: Schaumont, Patrick
Format: Conference Proceeding
Language:English
Published: IEEE 09.07.2023
Subjects:
Closed box
cryptographic engineering
Cryptography
Design automation
Hardware
hardware security
Lightning
Load modeling
Protocols
reverse engineering
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A black box model is an assumption on the implementation of a cryptographic primitive to limit the capabilities of the attacker. Black boxes are a useful component in a proof of protocol correctness, but it is not obvious how to securely implement one in hardware. The current state of the art in tamper from open literature shows impressive efficiency and precision in prying open these black boxes. Secure hardware designers are compelled to shrink the black boxes with every new device generation, while making a careful assessment of the need to load, store and handle secrets in hardware.
DOI:10.1109/DAC56929.2023.10247721