http://michael-reif.name/publications/2015-09-Getting-to-know-you-towards-a-capability-model-for-Java/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2016-11-Call-Graph-Construction-For-Java-Libraries/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2017-06-Hermes-Assessment-and-Creation-of-Effective-Test-Corpora/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2017-09-CodeMatch-Obfuscation-Wont-Conceal-Your-Repackaged-App/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2017-10-CogniCrypt-Supporting-Developers-in-Using-Cryptography/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2018-07-Lattice-Based-Modularization-of-Static-Analyses/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2018-07-Systematic-Evaluation-of-the-Unsoundness-of-Call-Graph-Construction-Algorithms-for-Java/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2018-09-A-Unified-Lattice-Model-and-Framework-for-Purity-Analyses/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2019-05-A-Dataset-Of-Parametric-Crytographic-Misuses/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2019-07-Judge-Identifying-Understanding-And-Evaluating-Sources-Of-Unsoundness-In-Call-Graphs/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2020-05-Probabilistic-call-graph-construction/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2020-06-TACAI-An-Intermediate-Representation-Based-On-Abstract-Interpretation/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2020-09-Modular-Collaborative-Program-Analysis-In-OPAL/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/publications/2020-10-Hidden-In-Plain-Sight-Obfuscated-Strings-Threatening-Your-Privacy/ 2021-01-20T12:22:12+01:00 http://michael-reif.name/404/ http://michael-reif.name/about/ http://michael-reif.name/contact/ http://michael-reif.name/publications/ http://michael-reif.name/ http://michael-reif.name/properties/googlefb3bf45ceabcd2af.html 2019-07-03T09:25:34+02:00 http://michael-reif.name/publications/Cognicrypt.pdf 2018-06-07T22:46:13+02:00 http://michael-reif.name/publications/FPCF.pdf 2018-07-30T14:09:45+02:00 http://michael-reif.name/publications/Hermes.pdf 2018-06-07T22:43:17+02:00 http://michael-reif.name/publications/JCG.pdf 2018-07-27T19:36:25+02:00 http://michael-reif.name/publications/LibCG.pdf 2018-06-07T22:45:09+02:00 http://michael-reif.name/publications/OPALModular.pdf 2020-10-20T09:18:40+02:00 http://michael-reif.name/publications/OPIUM.pdf 2018-08-08T09:06:14+02:00 http://michael-reif.name/publications/RKE+2019_preprint.pdf 2019-07-04T12:29:11+02:00 http://michael-reif.name/publications/StringHound.pdf 2021-01-20T11:53:03+01:00 http://michael-reif.name/publications/TACAI.pdf 2020-05-04T12:31:40+02:00 http://michael-reif.name/publications/US10719314.pdf 2021-01-20T12:12:01+01:00 http://michael-reif.name/publications/capmodel.pdf 2018-06-07T22:45:38+02:00 http://michael-reif.name/publications/codematch.pdf 2018-06-07T22:44:50+02:00 http://michael-reif.name/slides/JUDGE_Slides.pdf 2019-07-19T05:56:51+02:00