Michael Reif
Michael Reif
Verified email at cs.tu-darmstadt.de - Homepage
TitleCited byYear
Cognicrypt: Supporting developers in using cryptography
S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
252017
CodeMatch: obfuscation won't conceal your repackaged app
L Glanz, S Amann, M Eichberg, M Reif, B Hermann, J Lerch, M Mezini
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
212017
Call graph construction for Java libraries
M Reif, M Eichberg, M Mezini
Software Engineering und Software Management 2018, 2018
182018
Call graph construction for java libraries
M Reif, M Eichberg, B Hermann, J Lerch, M Mezini
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
182016
Systematic evaluation of the unsoundness of call graph construction algorithms for Java
M Reif, F Kübler, M Eichberg, M Mezini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 107-112, 2018
62018
Getting to know you: towards a capability model for Java
B Hermann, M Reif, M Eichberg, M Mezini
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
62015
Hermes: assessment and creation of effective test corpora
M Reif, M Eichberg, B Hermann, M Mezini
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
52017
Lattice based modularization of static analyses
M Eichberg, F Kübler, D Helm, M Reif, G Salvaneschi, M Mezini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 113-118, 2018
22018
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs
M Reif, F Kübler, M Eichberg, D Helm, M Mezini
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
12019
A unified lattice model and framework for purity analyses
D Helm, F Kübler, M Eichberg, M Reif, M Mezini
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
12018
CodeMatch
L Glanz, S Amann, M Eichberg, M Reif, M Mezini
Software Engineering und Software Management 2018, 2018
12018
A dataset of parametric cryptographic misuses
AK Wickert, M Reif, M Eichberg, A Dodhy, M Mezini
Proceedings of the 16th International Conference on Mining Software …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–12