Model-Based Security Verification and Testing for Smart-cards. - Elizabeta Fourneret; Martín Ochoa; Fabrice Bouquet; Julien Botella; Jan Jürjens; Parvaneh Yousefi (ARES, 2011)

Incremental Security Verification for Evolving UMLsec models. - Jan Jürjens; Loïc Marchal; Martín Ochoa; Holger Schmidt 001 (ECMFA, 2011)

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. - Jan Jürjens; Martín Ochoa; Holger Schmidt 001; Loïc Marchal; Siv Hilde Houmb; Shareeful Islam (SFM, 2011)

Security Guarantees and Evolution: From Models to Reality. - Martín Ochoa (ESSoS Doctoral Symposium, 2012)

A Sound Decision Procedure for the Compositionality of Secrecy. - Martín Ochoa; Jan Jürjens; Daniel Warzecha (ESSoS, 2012)

Indistinguishable regions in geographic privacy. - Jorge Cuéllar; Martín Ochoa; Ruben Rios (SAC, 2012)

Non-interference on UML State-Charts. - Martín Ochoa; Jan Jürjens; Jorge Cuéllar (TOOLS (50), 2012)

Automatic Quantification of Cache Side-Channels. - Boris Köpf; Laurent Mauborgne; Martín Ochoa (IACR Cryptol. ePrint Arch., 2012)

Model based security guarantees and change. - Martín Ochoa Ronderos (2012)

VERA: A Flexible Model-Based Vulnerability Testing Tool. - Abian Blome; Martín Ochoa; Keqin Li 002; Michele Peroli; Mohammad Torabi Dashti (ICST, 2013)

Malware detection with quantitative data flow graphs. - Tobias Wüchner; Martín Ochoa; Alexander Pretschner (AsiaCCS, 2014)

Leakage Resilience against Concurrent Cache Attacks. - Gilles Barthe; Boris Köpf; Laurent Mauborgne; Martín Ochoa (POST, 2014)

Model-Based Detection of CSRF. - Marco Rocchetto; Martín Ochoa; Mohammad Torabi Dashti (SEC, 2014)

DAVAST: data-centric system level activity visualization. - Tobias Wüchner; Alexander Pretschner; Martín Ochoa (VizSEC, 2014)

Specifying model changes with UMLchange to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Comput. Stand. Interfaces, 2014)

Evolution of Security Engineering Artifacts: A State of the Art Survey. - 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; et al. (Int. J. Secur. Softw. Eng., 2014)

Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. - Tobias Wüchner; Martín Ochoa; Alexander Pretschner (DIMVA, 2015)

Short Paper: The Meaning of Attack-Resistant Systems. - Vijay Ganesh 001; Sebastian Banescu; Martín Ochoa (PLAS@ECOOP, 2015)

Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. - Sebastian Banescu; Martín Ochoa; Nils Kunze; Alexander Pretschner (ESSoS, 2015)

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. - Martín Ochoa; Jorge Cuéllar; Alexander Pretschner; Per A. Hallgren (ESSoS, 2015)

A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. - Sebastian Banescu; Martín Ochoa; Alexander Pretschner (SPRO@ICSE, 2015)

A framework for empirical evaluation of malware detection resilience against behavior obfuscation. - Sebastian Banescu; Tobias Wüchner; Aleieldin Salem; Marius Guggenmos; Martín Ochoa; Alexander Pretschner (MALWARE, 2015)

BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (ProvSec, 2015)

InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (PST, 2015)

FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. - Sebastian Banescu; Tobias Wüchner; Marius Guggenmos; Martín Ochoa; Alexander Pretschner (CoRR, 2015)

The Meaning of Attack-Resistant Programs. - Vijay Ganesh 001; Sebastian Banescu; Martín Ochoa (CoRR, 2015)

MaxPace: Speed-constrained location queries. - Per A. Hallgren; Martín Ochoa; Andrei Sabelfeld (CNS, 2016)

Sound and Precise Cross-Layer Data Flow Tracking. - Enrico Lovat; Martín Ochoa; Alexander Pretschner (ESSoS, 2016)

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. - Saahil Ognawala; Martín Ochoa; Alexander Pretschner; Tobias Limmer (ASE, 2016)

Generating behavior-based malware detection models with genetic programming. - Tobias Wüchner; Martín Ochoa; Enrico Lovat; Alexander Pretschner (PST, 2016)

MalFlow: identification of C&C servers through host-based data flow profiling. - Tobias Wüchner; Martín Ochoa; Mojdeh Golagha; Gaurav Srivastava 008; Thomas Schreck; Alexander Pretschner (SAC, 2016)

Umlchange - specifying model changes to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Software Engineering, 2016)

Enhancing Operation Security using Secret Sharing. - Mohsen Ahmadvand; Antoine Scemama; Martín Ochoa; Alexander Pretschner (SECRYPT, 2016)

Q-Floid: Android Malware detection with Quantitative Data Flow Graphs. - John Henry Castellanos; Tobias Wüchner; Martín Ochoa; Sandra Julieta Rueda (SG-CRC, 2016)

Legacy-Compliant Data Authentication for Industrial Control System Traffic. - John Henry Castellanos; Daniele Antonioli; Nils Ole Tippenhauer; Martín Ochoa (ACNS, 2017)

Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3. - Daniele Antonioli; Hamid Reza Ghaeini; Sridhar Adepu; Martín Ochoa; Nils Ole Tippenhauer (CPS-SPC@CCS, 2017)

SIPHON: Towards Scalable High-Interaction Physical Honeypots. - Juan David Guarnizo; Amit Tambe; Suman Sankar Bhunia; Martín Ochoa; Nils Ole Tippenhauer; Asaf Shabtai; Yuval Elovici (CPSS@AsiaCCS, 2017)

TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition. - Athul Harilal; Flavio Toffalini; John Henry Castellanos; Juan Guarnizo; Ivan Homoliak; Martín Ochoa (MIST@CCS, 2017)

Design-time Quantification of Integrity in Cyber-physical Systems. - Eric Rothstein Morris; Carlos G. Murguia; Martín Ochoa (PLAS@CCS, 2017)

Enforcing Memory Safety in Cyber-Physical Systems. - Eyasu Getahun Chekole; John Henry Castellanos; Martín Ochoa; David K. Y. Yau (CyberICPS/SECPRE@ESORICS, 2017)

Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. - Martín Ochoa; Sebastian Banescu; Cynthia Disenfeld; Gilles Barthe; Vijay Ganesh 001 (EuroS&P, 2017)

ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis. - Yair Meidan; Michael Bohadana; Asaf Shabtai; Juan David Guarnizo; Martín Ochoa; Nils Ole Tippenhauer; Yuval Elovici (SAC, 2017)

Gamifying Education and Research on ICS Security: Design, Implementation and Results of S3. - Daniele Antonioli; Hamid Reza Ghaeini; Sridhar Adepu; Martín Ochoa; Nils Ole Tippenhauer (CoRR, 2017)

Detection of Unauthorized IoT Devices Using Machine Learning Techniques. - Yair Meidan; Michael Bohadana; Asaf Shabtai; Martín Ochoa; Nils Ole Tippenhauer; Juan David Guarnizo; Yuval Elovici (CoRR, 2017)

NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints. - Chuadhry Mujeeb Ahmed; Aditya Mathur; Martín Ochoa (CoRR, 2017)

Jif-Based Verification of Information Flow Policies for Android Apps. - Lina M. Jimenez; Martín Ochoa; Sandra Julieta Rueda (Int. J. Secur. Softw. Eng., 2017)

Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems. - John Henry Castellanos; Martín Ochoa; Jianying Zhou 001 (ACSAC, 2018)

NoisePrint: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems. - Chuadhry Mujeeb Ahmed; Martín Ochoa; Jianying Zhou 001; Aditya P. Mathur; Rizwan Qadeer; Carlos Murguia; Justin Ruths (AsiaCCS, 2018)

Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies. - Xueou Wang; Xiaolu Hou; Ruben Rios; Per A. Hallgren; Nils Ole Tippenhauer; Martín Ochoa (ESORICS (2), 2018)

Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems. - Eyasu Getahun Chekole; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo (ESSoS, 2018)

Static analysis of context leaks in android applications. - Flavio Toffalini; Jun Sun 001; Martín Ochoa (ICSE (SEIP), 2018)

Detection of Masqueraders Based on Graph Partitioning of File System Access Events. - Flavio Toffalini; Ivan Homoliak; Athul Harilal; Alexander Binder; Martín Ochoa (IEEE Symposium on Security and Privacy Workshops, 2018)

Insight into Insiders: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. - Ivan Homoliak; Flavio Toffalini; Juan Guarnizo; Yuval Elovici; Martín Ochoa (CoRR, 2018)

Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. - Eyasu Getahun Chekole; Unnikrishnan Cheramangalath; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo (CoRR, 2018)

Assuring BetterTimes. - Per A. Hallgren; Ravi Kishore; Martín Ochoa; Andrei Sabelfeld (J. Comput. Secur., 2018)

The Wolf Of SUTD (TWOS): A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition. - Athul Harilal; Flavio Toffalini; Ivan Homoliak; John Henry Castellanos; Juan Guarnizo; Soumik Mondal; Martín Ochoa (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2018)

Risk-Based Static Authentication in Web Applications with Behavioral Biometrics and Session Context Analytics. - Jesus Solano; Luis David Camacho; Alejandro Correa 003; Claudio Deiro; Javier Vargas 002; Martín Ochoa (ACNS Workshops, 2019)

Detection of Threats to IoT Devices using Scalable VPN-forwarded Honeypots. - Amit Tambe; Yan Lin Aung; Ragav Sridharan; Martín Ochoa; Nils Ole Tippenhauer; Asaf Shabtai; Yuval Elovici (CODASPY, 2019)

Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. - Flavio Toffalini; Martín Ochoa; Jun Sun 001; Jianying Zhou 001 (CODASPY, 2019)

Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. - Ivan Homoliak; Flavio Toffalini; Juan Guarnizo; Yuval Elovici; Martín Ochoa (ACM Comput. Surv., 2019)

Improving Network Intrusion Detection Classifiers by Non-payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. - Ivan Homoliak; Martin Teknos; Martín Ochoa; Dominik Breitenbacher; Saeid Hosseini; Petr Hanácek (EAI Endorsed Trans. Security Safety, 2019)

Practical static analysis of context leaks in Android applications. - Flavio Toffalini; Jun Sun 001; Martín Ochoa (Softw. Pract. Exp., 2019)

Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection. - Tobias Wüchner; Aleksander Cislak; Martín Ochoa; Alexander Pretschner (IEEE Trans. Dependable Secur. Comput., 2019)

Risk-based Authentication Based on Network Latency Profiling. - Esteban Rivera; Lizzy Tengana; Jesus Solano; Alejandra Castelblanco; Christian Lopez; Martín Ochoa (AISec@CCS, 2020)

SCRAP: Synthetically Composed Replay Attacks vs. Adversarial Machine Learning Attacks against Mouse-based Biometric Authentication. - Jesus Solano; Christian Lopez; Esteban Rivera; Alejandra Castelblanco; Lizzy Tengana; Martín Ochoa (AISec@CCS, 2020)

Machine Learning Techniques for Identity Document Verification in Uncontrolled Environments: A Case Study. - Alejandra Castelblanco; Jesus Solano; Christian Lopez; Esteban Rivera; Lizzy Tengana; Martín Ochoa (MCPR, 2020)

CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems. - Eyasu Getahun Chekole; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo; Unnikrishnan Cheramangalath (Comput. Secur., 2020)

NoiSense Print: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints. - Chuadhry Mujeeb Ahmed; Aditya P. Mathur; Martín Ochoa (ACM Trans. Priv. Secur., 2020)

Scanning the Cycle: Timing-based Authentication on PLCs. - Chuadhry Mujeeb Ahmed; Martín Ochoa; Jianying Zhou 001; Aditya Mathur (AsiaCCS, 2021)

Centy: Scalable Server-Side Web Integrity Verification System Based on Fuzzy Hashes. - Lizzy Tengana; Jesus Solano; Alejandra Castelblanco; Esteban Rivera; Christian Lopez; Martín Ochoa (DIMVA, 2021)

AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis. - John Henry Castellanos; Martín Ochoa; Alvaro A. Cárdenas; Owen Arden; Jianying Zhou 001 (RAID, 2021)

Threat Modeling and Security Analysis of Containers: A Survey. - Ann Yi Wong; Eyasu Getahun Chekole; Martín Ochoa; Jianying Zhou 001 (CoRR, 2021)

SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems. - Eyasu Getahun Chekole; Martín Ochoa; Sudipta Chattopadhyay 001 (Int. J. Crit. Infrastructure Prot., 2021)

Combining behavioral biometrics and session context analytics to enhance risk-based static authentication in web applications. - Jesus Solano; Luis David Camacho; Alejandro Correa 003; Claudio Deiro; Javier Vargas 002; Martín Ochoa (Int. J. Inf. Sec., 2021)

Scalable and Secure HTML5 Canvas-Based User Authentication. - Esteban Rivera; Lizzy Tengana; Jesus Solano; Christian Lopez; Johana Flórez; Martín Ochoa (ACNS Workshops, 2022)

A Siamese Neural Network for Scalable Behavioral Biometrics Authentication. - Jesus Solano; Esteban Rivera; Lizzy Tengana; Christian Lopez; Johana Flórez; Martín Ochoa (ACNS Workshops, 2022)

ATLAS: A Practical Attack Detection and Live Malware Analysis System for IoT Threat Intelligence. - Yan Lin Aung; Martín Ochoa; Jianying Zhou 001 (ISC, 2022)

Dynamic face authentication systems: Deep learning verification for camera close-Up and head rotation paradigms. - Alejandra Castelblanco; Esteban Rivera; Jesus Solano; Lizzy Tengana; Christian Lopez; Martín Ochoa (Comput. Secur., 2022)

SealClub: Computer-aided Paper Document Authentication. - Martín Ochoa; Jorge Toro-Pozo; David A. Basin (CoRR, 2022)

Constrained Proximity Attacks on Mobile Targets. - Xueou Wang; Xiaolu Hou; Ruben Rios; Nils Ole Tippenhauer; Martín Ochoa (ACM Trans. Priv. Secur., 2022)

SealClub: Computer-aided Paper Document Authentication. - Martín Ochoa; Hernán Vanegas; Jorge Toro-Pozo; David A. Basin (ACSAC, 2023)

Is Modeling Access Control Worth It? - David A. Basin; Juan Guarnizo; Srdan Krstic; Hoang Nguyen Phuoc Bao; Martín Ochoa (CCS, 2023)

FooBaR: Fault Fooling Backdoor Attack on Neural Network Training. - Jakub Breier; Xiaolu Hou; Martín Ochoa; Jesus Solano (IEEE Trans. Dependable Secur. Comput., 2023)

On the Security of Containers: Threat Modeling, Attack Analysis, and Mitigation Strategies. - Ann Yi Wong; Eyasu Getahun Chekole; Martín Ochoa; Jianying Zhou 001 (Comput. Secur., 2023)

Adversarial attacks against mouse- and keyboard-based biometric authentication: black-box versus domain-specific techniques. - Christian Lopez; Jesús Solano; Esteban Rivera; Lizzy Tengana; Johana Florez-Lozano; Alejandra Castelblanco; Martín Ochoa (Int. J. Inf. Sec., 2023)

Scrooge: Detection of Changes in Web Applications to Enhance Security Testing. - Fabio Büsser; Jan Kressebuch; Martín Ochoa; Valentin Zahnd; Ariane Trammell (ICISSP (2), 2025)