I agree that this site is using cookies. You can find further informations here.
X
Myers, Drew
2  results:
Bookchapter (Online) X
Search for persons X
?
1

SpecVerilog: Adapting Information Flow Control for Secure S..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Zagieboylo, Drew ; Sherk, Charles ; Myers, Andrew C.. - p. 2068-2082 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

PDL: a high-level hardware design language for pipelined pr..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Zagieboylo, Drew ; Sherk, Charles ; Suh, Gookwon Edward. - p. 719-732 , 2022
Link: https://dl.acm.org/doi/1..
 
1-2