Articles avec mandats d'accès public - Cornelius AschermannEn savoir plus
Disponibles quelque part : 16
REDQUEEN: Fuzzing with Input-to-State Correspondence.
C Aschermann, S Schumilo, T Blazytko, R Gawlik, T Holz
NDSS 19, 1-15, 2019
Exigences : European Commission
{kAFL}:{Hardware-Assisted} feedback fuzzing for {OS} kernels
S Schumilo, C Aschermann, R Gawlik, S Schinzel, T Holz
26th USENIX security symposium (USENIX Security 17), 167-182, 2017
Exigences : Federal Ministry of Education and Research, Germany
NAUTILUS: Fishing for deep bugs with grammars.
C Aschermann, T Frassetto, T Holz, P Jauernig, AR Sadeghi, D Teuchert
NDSS, 2019
Exigences : German Research Foundation, European Commission, Federal Ministry of …
Analyzing Program Termination and Complexity Automatically with AProVE
J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ...
Journal of Automated Reasoning 58, 3-31, 2017
Exigences : US Department of Defense, Austrian Science Fund, German Research Foundation …
IJON: Exploring Deep State Spaces via Fuzzing
C Aschermann, S Schumilo, A Abbasi, T Holz
Exigences : German Research Foundation, European Commission, Federal Ministry of …
{ETHBMC}: A bounded model checker for smart contracts
J Frank, C Aschermann, T Holz
29th USENIX Security Symposium (USENIX Security 20), 2757-2774, 2020
Exigences : German Research Foundation, Federal Ministry of Education and Research, Germany
Syntia: Synthesizing the semantics of obfuscated code
T Blazytko, M Contag, C Aschermann, T Holz
26th USENIX Security Symposium (USENIX Security 17), 643-659, 2017
Exigences : German Research Foundation, European Commission
Nyx: Greybox hypervisor fuzzing using fast snapshots and affine types
S Schumilo, C Aschermann, A Abbasi, S Wörner, T Holz
30th USENIX Security Symposium (USENIX Security 21), 2597-2614, 2021
Exigences : German Research Foundation, European Commission
Nyx-net: network fuzzing with incremental snapshots
S Schumilo, C Aschermann, A Jemmett, A Abbasi, T Holz
Proceedings of the Seventeenth European Conference on Computer Systems, 166-180, 2022
Exigences : German Research Foundation, Federal Ministry of Education and Research, Germany
{AURORA}: Statistical crash analysis for automated root cause explanation
T Blazytko, M Schlögel, C Aschermann, A Abbasi, J Frank, S Wörner, ...
29th USENIX Security Symposium (USENIX Security 20), 235-252, 2020
Exigences : German Research Foundation, European Commission
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing
S Schumilo, C Aschermann, A Abbasi, S Wörner, T Holz
27th Annual Network and Distributed System Security Symposium, NDSS, 2020
Exigences : German Research Foundation, European Commission, Federal Ministry of …
{AntiFuzz}: impeding fuzzing audits of binary executables
E Güler, C Aschermann, A Abbasi, T Holz
28th USENIX Security Symposium (USENIX Security 19), 1931-1947, 2019
Exigences : German Research Foundation, European Commission, Federal Ministry of …
Automatically proving termination and memory safety for programs with pointer arithmetic
T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ...
Journal of Automated Reasoning 58, 33-65, 2017
Exigences : German Research Foundation, Danish Council for Independent Research
AProVE: Termination and Memory Safety of C Programs: (Competition Contribution)
T Ströder, C Aschermann, F Frohn, J Hensel, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2015
Exigences : German Research Foundation
Lower bounds for runtime complexity of term rewriting
F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder
Journal of Automated Reasoning 59, 121-163, 2017
Exigences : US Department of Defense, German Research Foundation
Inferring lower bounds for runtime complexity
F Frohn, J Giesl, J Hensel, C Aschermann, T Ströder
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
Exigences : German Research Foundation
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique