Search for persons
X
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
8
Smart Contract Synthesis Modulo Hyperproperties:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
10
Runtime Enforcement of Hyperproperties:
, In:
?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11