Login / Signup
Charles Sherk
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Hardware Design
Security Management
Information Flow Control
Parallel Architecture
Top Venues
PLDI
CCS
</>
Publications
</>
Drew Zagieboylo
,
Charles Sherk
,
Andrew C. Myers
,
G. Edward Suh
SpecVerilog: Adapting Information Flow Control for Secure Speculation.
CCS
(2023)
Drew Zagieboylo
,
Charles Sherk
,
Gookwon Edward Suh
,
Andrew C. Myers
PDL: a high-level hardware design language for pipelined processors.
PLDI
(2022)