Y
Yannic Noller
Researcher at Humboldt University of Berlin
Publications - 28
Citations - 342
Yannic Noller is an academic researcher from Humboldt University of Berlin. The author has contributed to research in topics: Fuzz testing & Symbolic execution. The author has an hindex of 6, co-authored 25 publications receiving 180 citations. Previous affiliations of Yannic Noller include Queen's University Belfast & National University of Singapore.
Papers
More filters
Proceedings ArticleDOI
Semantic program repair using a reference implementation
TL;DR: Experiments in repairing the embedded Linux Busybox with GNU Coreutils as reference revealed that the proposed approach scales to real-world programs and enables the generation of more correct patches.
Proceedings ArticleDOI
Badger: complexity analysis with fuzzing and symbolic execution
TL;DR: Badger is described - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when the worst-case time or space complexity of an application is significantly higher than the average case.
Posted Content
DifFuzz: Differential Fuzzing for Side-Channel Analysis
TL;DR: DifFuzz as discussed by the authors is a fuzzing-based approach for detecting side-channel vulnerabilities related to time and space, which can be applied to programs written in any language.
Proceedings ArticleDOI
DifFuzz: differential fuzzing for side-channel analysis
TL;DR: DifFuzz as discussed by the authors is a fuzzing-based approach for detecting side-channel vulnerabilities related to time and space, which can be applied to programs written in any language.
Proceedings ArticleDOI
HyDiff: hybrid differential software analysis
TL;DR: This paper presents HyDiff, the first hybrid approach for differential software analysis, which integrates and extends two very successful testing techniques: Feedback-directed greybox fuzzing for efficient program testing and shadow symbolic execution for systematic program exploration.