Skip to content
Hallway
0:00 / 0:00

#programsynthesis#hardwaresecurity#checkmate

CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests

Caroline Trippel

10 subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Caroline Trippel

Advanced. Deep dive for people who know the field.

846 views8 years ago1 recommendation

SecurityHardwareCPUs and computer architectureExploits and vulnerabilities

Caroline Trippel presents CheckMate, a tool for the automated synthesis of hardware exploits and security litmus tests.

MICRO 51 Lightning Talk Authors: Caroline Trippel, Daniel Lustig*, Margaret Martonosi Affiliations: Princeton University, *NVIDIA

Why it's here

1 person recommends this

What people say. Recommended as a reference on program synthesis applied to hardware security.

u/mttdin r/ProgrammingLanguages • Recommends

On “Tandoph: A compiler synthesizer for simple languages”

…itbucket.io/papers/program_synthesis_now.pdf - https://www.microsoft.com/en-us/research/publication/program-synthesis/ + Topics in Programming Languages: Program Synthesis (lots of great references!) - https://www.classes.cs.uchicago.edu/archive/2016/spring/32001-1/ + Type-Driven Program Synthesis - Strange Loop 2018; Nadia Polikarpova - link to this video + Program Synthesis: Opportunities for the Next Decade - ICFP 2015 - link to this video * Compilation, Optimization + Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis - 1st Summit on Advances in Programming Languages (SNAPL 2015) - http://drops.dagstuhl.de/opus/volltexte/2015/5016/ + Future Directions f…
10View on Reddit