MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.

Robert Knnemann, Hamed Nemati

Browse the full ESORICS paper archive.