Martín Ochoa
Martín Ochoa
AppGate Inc.
Verified email at appgate.com - Homepage
Title
Cited by
Cited by
Year
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
1662017
Automatic quantification of cache side-channels
B Köpf, L Mauborgne, M Ochoa
International Conference on Computer Aided Verification, 564-580, 2012
1102012
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
892017
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
682017
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
642019
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
452015
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
442014
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
322018
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
322015
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
27*2017
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
272017
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
262015
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
262014
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
252013
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
242011
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
212016
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
212014
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
202011
Twos: A dataset of malicious insider threat behavior based on a gamified competition
A Harilal, F Toffalini, J Castellanos, J Guarnizo, I Homoliak, M Ochoa
Proceedings of the 2017 International Workshop on Managing Insider Security …, 2017
182017
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
172014
The system can't perform the operation now. Try again later.
Articles 1–20