| ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis Y Meidan, M Bohadana, A Shabtai, JD Guarnizo, M Ochoa, ... Proceedings of the symposium on applied computing, 506-509, 2017 | 175 | 2017 |
| Automatic quantification of cache side-channels B Köpf, L Mauborgne, M Ochoa International Conference on Computer Aided Verification, 564-580, 2012 | 111 | 2012 |
| Detection of unauthorized IoT devices using machine learning techniques Y Meidan, M Bohadana, A Shabtai, M Ochoa, NO Tippenhauer, ... arXiv preprint arXiv:1709.04647, 2017 | 96 | 2017 |
| Insight into insiders and it: A survey of insider threat taxonomies, analysis, modeling, and countermeasures I Homoliak, F Toffalini, J Guarnizo, Y Elovici, M Ochoa ACM Computing Surveys (CSUR) 52 (2), 1-40, 2019 | 71 | 2019 |
| Siphon: Towards scalable high-interaction physical honeypots JD Guarnizo, A Tambe, SS Bhunia, M Ochoa, NO Tippenhauer, A Shabtai, ... Proceedings of the 3rd ACM Workshop on Cyber-Physical System Security, 57-68, 2017 | 69 | 2017 |
| Robust and effective malware detection through quantitative data flow graph metrics T Wüchner, M Ochoa, A Pretschner International Conference on Detection of Intrusions and Malware, and …, 2015 | 47 | 2015 |
| Malware detection with quantitative data flow graphs T Wüchner, M Ochoa, A Pretschner Proceedings of the 9th ACM symposium on Information, computer and …, 2014 | 46 | 2014 |
| NoisePrint Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems CM Ahmed, M Ochoa, J Zhou, AP Mathur, R Qadeer, C Murguia, J Ruths Proceedings of the 2018 on Asia Conference on Computer and Communications …, 2018 | 34 | 2018 |
| Innercircle: A parallelizable decentralized privacy-preserving location proximity protocol P Hallgren, M Ochoa, A Sabelfeld 2015 13th Annual Conference on Privacy, Security and Trust (PST), 1-6, 2015 | 33 | 2015 |
| Leveraging compression-based graph mining for behavior-based malware detection T Wüchner, A Cisłak, M Ochoa, A Pretschner IEEE Transactions on Dependable and Secure Computing 16 (1), 99-112, 2017 | 30 | 2017 |
| Gamifying ICS security training and research: Design, implementation, and results of S3 D Antonioli, HR Ghaeini, S Adepu, M Ochoa, NO Tippenhauer Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and …, 2017 | 29* | 2017 |
| A framework for measuring software obfuscation resilience against automated attacks S Banescu, M Ochoa, A Pretschner 2015 IEEE/ACM 1st International Workshop on Software Protection, 45-51, 2015 | 28 | 2015 |
| Leakage resilience against concurrent cache attacks G Barthe, B Köpf, L Mauborgne, M Ochoa International Conference on Principles of Security and Trust, 140-158, 2014 | 26 | 2014 |
| Vera: A flexible model-based vulnerability testing tool A Blome, M Ochoa, K Li, M Peroli, MT Dashti 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 26 | 2013 |
| Model-based security verification and testing for smart-cards E Fourneret, M Ochoa, F Bouquet, J Botella, J Jurjens, P Yousefi 2011 Sixth International Conference on Availability, Reliability and …, 2011 | 26 | 2011 |
| MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution S Ognawala, M Ochoa, A Pretschner, T Limmer Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 22 | 2016 |
| A framework for empirical evaluation of malware detection resilience against behavior obfuscation S Banescu, T Wuchner, A Salem, M Guggenmos, M Ochoa, A Pretschner 2015 10th International Conference on Malicious and Unwanted Software …, 2015 | 20* | 2015 |
| Davast: Data-centric system level activity visualization T Wüchner, A Pretschner, M Ochoa Proceedings of the Eleventh Workshop on Visualization for Cyber Security, 25-32, 2014 | 20 | 2014 |
| Evolution of security engineering artifacts: a state of the art survey M Felderer, B Katt, P Kalb, J Jürjens, M Ochoa, F Paci, TT Tun, K Yskout, ... International Journal of Secure Software Engineering (IJSSE) 5 (4), 48-98, 2014 | 19 | 2014 |
| Incremental security verification for evolving UMLsec models J Jürjens, L Marchal, M Ochoa, H Schmidt European Conference on Modelling Foundations and Applications, 52-68, 2011 | 19 | 2011 |
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
