Martín Ochoa

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