Personensuche
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
2
Smart Contract and DeFi Security Tools: Do They Meet the Ne..:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
3
Smart Contract and DeFi Security Tools: Do They Meet the Ne..:
, In:
?
2023 IEEE Symposium on Security and Privacy (SP) ,
4
SoK: Decentralized Finance (DeFi) Attacks:
, In:
?
Proceedings of the ACM Web Conference 2023 ,
5
On How Zero-Knowledge Proof Blockchain Mixers Improve, and ..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
6
Finding typing compiler bugs:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering ,
8
Data-Oriented Differential Testing of Object-Relational Map..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
9
Replication package for article : data-oriented differen..:
, In:
?
Lecture Notes in Computer Science; Computer Security – ESORICS 2019 ,
14