Search for persons
X
?
2023 15th International Conference on Cyber Conflict: Meeting Reality (CyCon) ,
1
Toward Mission-Critical AI: Interpretable, Actionable, and ..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
2
Learning to Explore Paths for Symbolic Execution:
, In:
?
IFIP Advances in Information and Communication Technology; Artificial Intelligence Applications and Innovations ,
3
Robustness Testing of AI Systems: A Case Study for Traffic ..:
, In:
?
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication ,
4
Probabilistic Verification of Network Configurations:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
5
VerX: Safety Verification of Smart Contracts:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
6
Learning to Fuzz from Symbolic Execution with Application t..:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
7
zkay : Specifying and Enforcing Data Privacy in Smart Co..:
, In:
?
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security ,
9
Securify : Practical Security Analysis of Smart Contract:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
10
Bayonet: probabilistic inference for networks:
, In:
?
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security ,
11
DP-Finder : Finding Differential Privacy Violations by S..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice ,
13
Security Analysis of Smart Contracts in Datalog:
, In:
?
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security ,
14
Debin : Predicting Debug Information in Stripped Binarie:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
15