Martín Ochoa

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 66

Top Topics

Malware Detection

Biometric Authentication

Top Venues

Publications

Ann Yi Wong, Eyasu Getahun Chekole, Martín Ochoa, Jianying Zhou
On the Security of Containers: Threat Modeling, Attack Analysis, and Mitigation Strategies. Comput. Secur. 128 (2023)
David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen, Martín Ochoa
Is Modeling Access Control Worth It? CCS (2023)
Christian Lopez, Jesús Solano, Esteban Rivera, Lizzy Tengana, Johana Florez-Lozano, Alejandra Castelblanco, Martín Ochoa
Adversarial attacks against mouse- and keyboard-based biometric authentication: black-box versus domain-specific techniques. Int. J. Inf. Sec. 22 (6) (2023)
Jakub Breier, Xiaolu Hou, Martín Ochoa, Jesus Solano
FooBaR: Fault Fooling Backdoor Attack on Neural Network Training. IEEE Trans. Dependable Secur. Comput. 20 (3) (2023)
Martín Ochoa, Hernán Vanegas, Jorge Toro-Pozo, David Basin
SealClub: Computer-aided Paper Document Authentication. ACSAC (2023)
Alejandra Castelblanco, Esteban Rivera, Jesus Solano, Lizzy Tengana, Christian Lopez, Martín Ochoa
Dynamic face authentication systems: Deep learning verification for camera close-Up and head rotation paradigms. Comput. Secur. 115 (2022)
Yan Lin Aung, Martín Ochoa, Jianying Zhou
ATLAS: A Practical Attack Detection and Live Malware Analysis System for IoT Threat Intelligence. ISC (2022)
Martín Ochoa, Jorge Toro-Pozo, David A. Basin
SealClub: Computer-aided Paper Document Authentication. CoRR (2022)
Esteban Rivera, Lizzy Tengana, Jesus Solano, Christian Lopez, Johana Flórez, Martín Ochoa
Scalable and Secure HTML5 Canvas-Based User Authentication. ACNS Workshops (2022)
Jesus Solano, Esteban Rivera, Lizzy Tengana, Christian Lopez, Johana Flórez, Martín Ochoa
A Siamese Neural Network for Scalable Behavioral Biometrics Authentication. ACNS Workshops (2022)
Xueou Wang, Xiaolu Hou, Ruben Rios, Nils Ole Tippenhauer, Martín Ochoa
Constrained Proximity Attacks on Mobile Targets. ACM Trans. Priv. Secur. 25 (2) (2022)
Jesus Solano, Luis David Camacho, Alejandro Correa, Claudio Deiro, Javier Vargas, Martín Ochoa
Combining behavioral biometrics and session context analytics to enhance risk-based static authentication in web applications. Int. J. Inf. Sec. 20 (2) (2021)
Ann Yi Wong, Eyasu Getahun Chekole, Martín Ochoa, Jianying Zhou
Threat Modeling and Security Analysis of Containers: A Survey. CoRR (2021)
John Henry Castellanos, Martín Ochoa, Alvaro A. Cárdenas, Owen Arden, Jianying Zhou
AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis. RAID (2021)
Eyasu Getahun Chekole, Martín Ochoa, Sudipta Chattopadhyay
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems. Int. J. Crit. Infrastructure Prot. 33 (2021)
Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya Mathur
Scanning the Cycle: Timing-based Authentication on PLCs. AsiaCCS (2021)
Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya Mathur
Scanning the Cycle: Timing-based Authentication on PLCs. CoRR (2021)
Lizzy Tengana, Jesus Solano, Alejandra Castelblanco, Esteban Rivera, Christian Lopez, Martín Ochoa
Centy: Scalable Server-Side Web Integrity Verification System Based on Fuzzy Hashes. DIMVA (2021)
Jakub Breier, Xiaolu Hou, Martín Ochoa, Jesus Solano
FooBaR: Fault Fooling Backdoor Attack on Neural Network Training. CoRR (2021)
Chuadhry Mujeeb Ahmed, Aditya P. Mathur, Martín Ochoa
: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints. ACM Trans. Priv. Secur. 24 (1) (2020)
Jesus Solano, Christian Lopez, Esteban Rivera, Alejandra Castelblanco, Lizzy Tengana, Martín Ochoa
SCRAP: Synthetically Composed Replay Attacks vs. Adversarial Machine Learning Attacks against Mouse-based Biometric Authentication. AISec@CCS (2020)
Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martín Ochoa, Huaqun Guo, Unnikrishnan Cheramangalath
CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems. Comput. Secur. 94 (2020)
Alejandra Castelblanco, Jesus Solano, Christian Lopez, Esteban Rivera, Lizzy Tengana, Martín Ochoa
Machine Learning Techniques for Identity Document Verification in Uncontrolled Environments: A Case Study. MCPR (2020)
Eyasu Getahun Chekole, Martín Ochoa, Sudipta Chattopadhyay
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems. CoRR (2020)
Esteban Rivera, Lizzy Tengana, Jesus Solano, Alejandra Castelblanco, Christian Lopez, Martín Ochoa
Risk-based Authentication Based on Network Latency Profiling. AISec@CCS (2020)
Amit Tambe, Yan Lin Aung, Ragav Sridharan, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici
Detection of Threats to IoT Devices using Scalable VPN-forwarded Honeypots. CODASPY (2019)
Ivan Homoliak, Flavio Toffalini, Juan Guarnizo, Yuval Elovici, Martín Ochoa
Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Comput. Surv. 52 (2) (2019)
Flavio Toffalini, Martín Ochoa, Jun Sun, Jianying Zhou
Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. CODASPY (2019)
Tobias Wüchner, Aleksander Cislak, Martín Ochoa, Alexander Pretschner
Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection. IEEE Trans. Dependable Secur. Comput. 16 (1) (2019)
Flavio Toffalini, Jun Sun, Martín Ochoa
Practical static analysis of context leaks in Android applications. Softw. Pract. Exp. 49 (2) (2019)
Ivan Homoliak, Martin Teknos, Martín Ochoa, Dominik Breitenbacher, Saeid Hosseini, Petr Hanácek
Improving Network Intrusion Detection Classifiers by Non-payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Trans. Security Safety 5 (17) (2019)
Jesus Solano, Luis David Camacho, Alejandro Correa, Claudio Deiro, Javier Vargas, Martín Ochoa
Risk-Based Static Authentication in Web Applications with Behavioral Biometrics and Session Context Analytics. ACNS Workshops (2019)
Ivan Homoliak, Flavio Toffalini, Juan Guarnizo, Yuval Elovici, Martín Ochoa
Insight into Insiders: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. CoRR (2018)
Athul Harilal, Flavio Toffalini, Ivan Homoliak, John Henry Castellanos, Juan Guarnizo, Soumik Mondal, Martín Ochoa
The Wolf Of SUTD (TWOS): A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 9 (1) (2018)
Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martín Ochoa, Huaqun Guo
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems. ESSoS (2018)
Per A. Hallgren, Ravi Kishore, Martín Ochoa, Andrei Sabelfeld
Assuring BetterTimes. J. Comput. Secur. 26 (4) (2018)
Eyasu Getahun Chekole, Unnikrishnan Cheramangalath, Sudipta Chattopadhyay, Martín Ochoa, Huaqun Guo
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. CoRR (2018)
Ivan Homoliak, Martin Teknos, Martín Ochoa, Dominik Breitenbacher, Saeid Hosseini, Petr Hanácek
Improving Network Intrusion Detection Classifiers by Non-payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. CoRR (2018)
John Henry Castellanos, Martín Ochoa, Jianying Zhou
Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems. ACSAC (2018)
Xueou Wang, Xiaolu Hou, Ruben Rios, Per A. Hallgren, Nils Ole Tippenhauer, Martín Ochoa
Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies. ESORICS (2) (2018)
Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya P. Mathur, Rizwan Qadeer, Carlos Murguia, Justin Ruths
: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems. AsiaCCS (2018)
Flavio Toffalini, Ivan Homoliak, Athul Harilal, Alexander Binder, Martín Ochoa
Detection of Masqueraders Based on Graph Partitioning of File System Access Events. IEEE Symposium on Security and Privacy Workshops (2018)
Flavio Toffalini, Jun Sun, Martín Ochoa
Static analysis of context leaks in android applications. ICSE (SEIP) (2018)
John Henry Castellanos, Daniele Antonioli, Nils Ole Tippenhauer, Martín Ochoa
Legacy-Compliant Data Authentication for Industrial Control System Traffic. ACNS (2017)
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa
Design-time Quantification of Integrity in Cyber-physical Systems. PLAS@CCS (2017)
Yair Meidan, Michael Bohadana, Asaf Shabtai, Juan David Guarnizo, Martín Ochoa, Nils Ole Tippenhauer, Yuval Elovici
ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis. SAC (2017)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. EuroS&P (2017)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR (2017)
Chuadhry Mujeeb Ahmed, Aditya Mathur, Martín Ochoa
NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints. CoRR (2017)
Juan Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici
SIPHON: Towards Scalable High-Interaction Physical Honeypots. CoRR (2017)
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa
Design-Time Quantification of Integrity in Cyber-Physical-Systems. CoRR (2017)
Daniele Antonioli, Hamid Reza Ghaeini, Sridhar Adepu, Martín Ochoa, Nils Ole Tippenhauer
Gamifying Education and Research on ICS Security: Design, Implementation and Results of S3. CoRR (2017)
Juan David Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici
SIPHON: Towards Scalable High-Interaction Physical Honeypots. CPSS@AsiaCCS (2017)
Athul Harilal, Flavio Toffalini, John Henry Castellanos, Juan Guarnizo, Ivan Homoliak, Martín Ochoa
TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition. MIST@CCS (2017)
Lina M. Jimenez, Martín Ochoa, Sandra Julieta Rueda
Jif-Based Verification of Information Flow Policies for Android Apps. Int. J. Secur. Softw. Eng. 8 (1) (2017)
Yair Meidan, Michael Bohadana, Asaf Shabtai, Martín Ochoa, Nils Ole Tippenhauer, Juan David Guarnizo, Yuval Elovici
Detection of Unauthorized IoT Devices Using Machine Learning Techniques. CoRR (2017)
Daniele Antonioli, Hamid Reza Ghaeini, Sridhar Adepu, Martín Ochoa, Nils Ole Tippenhauer
Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3. CPS-SPC@CCS (2017)
Eyasu Getahun Chekole, John Henry Castellanos, Martín Ochoa, David K. Y. Yau
Enforcing Memory Safety in Cyber-Physical Systems. CyberICPS/SECPRE@ESORICS (2017)
Per A. Hallgren, Martín Ochoa, Andrei Sabelfeld
MaxPace: Speed-constrained location queries. CNS (2016)
Enrico Lovat, Martín Ochoa, Alexander Pretschner
Sound and Precise Cross-Layer Data Flow Tracking. ESSoS (2016)
Mohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner
Enhancing Operation Security using Secret Sharing. SECRYPT (2016)
Tobias Wüchner, Martín Ochoa, Mojdeh Golagha, Gaurav Srivastava, Thomas Schreck, Alexander Pretschner
MalFlow: identification of C&C servers through host-based data flow profiling. SAC (2016)
John Henry Castellanos, Tobias Wüchner, Martín Ochoa, Sandra Julieta Rueda
Q-Floid: Android Malware detection with Quantitative Data Flow Graphs. SG-CRC (2016)
Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. ASE (2016)
Tobias Wüchner, Martín Ochoa, Enrico Lovat, Alexander Pretschner
Generating behavior-based malware detection models with genetic programming. PST (2016)
Sven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa
Umlchange - specifying model changes to support security verification of potential evolution. Software Engineering (2016)
Sebastian Banescu, Tobias Wüchner, Aleieldin Salem, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
A framework for empirical evaluation of malware detection resilience against behavior obfuscation. MALWARE (2015)
Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS (2015)
Tobias Wüchner, Martín Ochoa, Alexander Pretschner
Robust and Effective Malware Detection through Quantitative Data Flow Graph Metrics. CoRR (2015)
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
The Meaning of Attack-Resistant Programs. CoRR (2015)
Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ESSoS (2015)
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP (2015)
Per A. Hallgren, Martín Ochoa, Andrei Sabelfeld
InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol. PST (2015)
Tobias Wüchner, Martín Ochoa, Alexander Pretschner
Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. DIMVA (2015)
Sebastian Banescu, Martín Ochoa, Alexander Pretschner
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE (2015)
Per A. Hallgren, Martín Ochoa, Andrei Sabelfeld
BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields. ProvSec (2015)
Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR (2015)
Sven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa
Specifying model changes with UMLchange to support security verification of potential evolution. Comput. Stand. Interfaces 36 (4) (2014)
Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
Leakage Resilience against Concurrent Cache Attacks. POST (2014)
Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu
Evolution of Security Engineering Artifacts: A State of the Art Survey. Int. J. Secur. Softw. Eng. 5 (4) (2014)
Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti
Model-Based Detection of CSRF. SEC (2014)
Tobias Wüchner, Alexander Pretschner, Martín Ochoa
DAVAST: data-centric system level activity visualization. VizSEC (2014)
Tobias Wüchner, Martín Ochoa, Alexander Pretschner
Malware detection with quantitative data flow graphs. AsiaCCS (2014)
Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST (2013)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. CAV (2012)
Martín Ochoa, Jan Jürjens, Jorge Cuéllar
Non-interference on UML State-Charts. TOOLS (50) (2012)
Jorge Cuéllar, Martín Ochoa, Ruben Rios
Indistinguishable regions in geographic privacy. SAC (2012)
Martín Ochoa, Jan Jürjens, Daniel Warzecha
A Sound Decision Procedure for the Compositionality of Secrecy. ESSoS (2012)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. IACR Cryptol. ePrint Arch. 2012 (2012)
Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi
Model-Based Security Verification and Testing for Smart-cards. ARES (2011)
Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
Incremental Security Verification for Evolving UMLsec models. ECMFA (2011)
Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. SFM (2011)