Skip to content

Scott Constable

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2024–2026

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2026VMCAIForward Symbolic Execution for Trustworthy Automation of Binary Code Verification.Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati
2024NDSSSENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification.Fan Sang, Jaehyuk Lee, Xiaokuan Zhang, Meng Xu, Scott Constable, Yuan Xiao, Michael Steiner, Mona Vij, Taesoo Kim