Personensuche
X
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
11
SpecVerilog: Adapting Information Flow Control for Secure S..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
12