Volgen
Michael Reif
Michael Reif
CQSE GmbH
Geverifieerd e-mailadres voor cqse.eu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1402017
Call graph construction for Java libraries
M Reif, M Eichberg, M Mezini
Software Engineering und Software Management 2018, 2018
622018
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
622016
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
572017
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
472019
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
292018
Hidden in plain sight: Obfuscated strings threatening your privacy
L Glanz, P Müller, L Baumgärtner, M Reif, S Amann, P Anthonysamy, ...
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
282020
Modular collaborative program analysis in OPAL
D Helm, F Kübler, M Reif, M Eichberg, M Mezini
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
272020
A dataset of parametric cryptographic misuses
AK Wickert, M Reif, M Eichberg, A Dodhy, M Mezini
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
172019
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
132018
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
132017
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
112018
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
92015
Cifi: Versatile analysis of class and field immutability
T Roth, D Helm, M Reif, M Mezini
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
72021
TACAI: an intermediate representation based on abstract interpretation
M Reif, F Kübler, D Helm, B Hermann, M Eichberg, M Mezini
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of …, 2020
52020
Probabilistic call-graph construction
Y Lu, D Wainwright, M Reif
US Patent 10,719,314, 2020
42020
Securing your crypto-api usage through tool support-A usability study
S Krüger, M Reif, AK Wickert, S Nadi, K Ali, E Bodden, Y Acar, M Mezini, ...
2023 IEEE Secure Development Conference (SecDev), 14-25, 2023
32023
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
D Helm, T Roth, S Keidel, M Reif, M Mezini
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
12024
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software
M Reif
Technische Universität Darmstadt, 2021
12021
CodeMatch
L Glanz, S Amann, M Eichberg, M Reif, M Mezini
Gesellschaft für Informatik, 2018
12018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20