Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking.
Benjamin TanRamesh KarriNimisha LimayeAbhrajit SenguptaOzgur SinanogluMd Moshiur RahmanSwarup BhuniaDanielle DuvalsaintRonald D. BlantonAmin RezaeiYuanqi ShenHai ZhouLeon LiAlex OrailogluZhaokun HanAustin BenedettiLuciano BrignoneMuhammad YasinJeyavijayan RajendranMichael ZuzakAnkur SrivastavaUjjwal GuinChandan KarfaKanad BasuVivek V. MenonMatthew FrenchPeilin SongFranco StellariGi-Joon NamPeter GadfortAlric AlthoffJoseph TostenrudeSaverio FazzariEric BreckenfeldKenneth PlaksPublished in: CoRR (2020)
Keyphrases
- digital circuits
- random number generator
- low cost
- real time
- protection scheme
- intrusion detection
- lessons learned
- security issues
- network security
- information security
- hardware and software
- trusted computing
- modal logic
- concurrency control
- logic programming
- computer systems
- data acquisition
- chip design
- access control
- database systems
- security level
- computer security
- security analysis
- hardware implementation
- security policies
- image processing
- classical logic
- object oriented database management systems
- application level
- key management
- security mechanisms
- multi valued
- security requirements
- statistical databases
- computing systems
- fine grained
- information systems