Prati
Valentin Wüstholz
Valentin Wüstholz
ConsenSys
Potvrđena adresa e-pošte na consensys.net - Početna stranica
Naslov
Citirano
Citirano
Godina
Harvey: A greybox fuzzer for smart contracts
V Wüstholz, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
2172020
Guiding dynamic symbolic execution toward unverified program executions
M Christakis, P Müller, V Wüstholz
International Conference on Software Engineering (ICSE), 144-155, 2016
1262016
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
International Symposium on Formal Methods, 154-168, 2011
105*2011
The Dafny integrated development environment
KRM Leino, V Wüstholz
1st Workshop on Formal Integrated Development Environment, 3-15, 2014
1002014
Collaborative verification and testing with explicit assumptions
M Christakis, P Müller, V Wüstholz
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
852012
Perfectly parallel fairness certification of neural networks
C Urban, M Christakis, V Wüstholz, F Zhang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
772020
Targeted greybox fuzzing with static lookahead analysis
V Wüstholz, M Christakis
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
732020
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions
V Wüstholz, O Olivo, MJH Heule, I Dillig
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 3-20, 2017
692017
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
622020
Differentially testing soundness and precision of program analyzers
C Klinger, M Christakis, V Wüstholz
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
472019
Fine-grained caching of verification results
KRM Leino, V Wüstholz
Computer Aided Verification (CAV), 380-397, 2015
432015
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer
M Christakis, P Müller, V Wüstholz
VMCAI 2015: Verification, Model Checking, and Abstract Interpretation, 336-354, 2014
372014
Integrated Environment for Diagnosing Verification Errors
M Christakis, KRM Leino, P Müller, V Wüstholz
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016
352016
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
S Wesley, M Christakis, JA Navas, R Trefler, V Wüstholz, A Gurfinkel
Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022
342022
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
282021
Automatically testing implementations of numerical abstract domains
A Bugariu, V Wüstholz, M Christakis, P Müller
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
272018
Failure-directed program trimming
K Ferles, V Wüstholz, M Christakis, I Dillig
Foundations of Software Engineering (FSE), 174-185, 2017
262017
Estimating residual risk in greybox fuzzing
M Böhme, D Liyanage, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
232021
Semantic fault localization and suspiciousness ranking
M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
212019
Raid: Randomized adversarial-input detection for neural networks
HF Eniser, M Christakis, V Wüstholz
arXiv preprint arXiv:2002.02776, 2020
192020
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20