Personensuche
X
?
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) ,
1
Evaluating and Improving Static Analysis Tools Via Differen..:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
2
What are the Actual Flaws in Important Smart Contracts (And..:
, In:
?
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
3
Echidna: effective, usable, and fast fuzzing for smart cont..:
, In:
?
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
4
Manticore: A User-Friendly Symbolic Execution Framework for..:
, In:
?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering ,
5
Manticore : a user-friendly symbolic execution framework..:
, In:
?
Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain ,
6
Slither : a static analysis framework for smart contract:
, In:
?
Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy ,
7
Toward Large-Scale Vulnerability Discovery using Machine Le..:
, In:
?
Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering ,
8
Finding the needle in the heap : combining static analys..:
, In:
?
Proceedings of the 25th International Symposium on Software Testing and Analysis ,
9