Martín Ochoa

发表

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2014, AsiaCCS.

Alexander Pretschner, Martín Ochoa, Sebastian Banescu, 2015, ESSoS.

Chuadhry Mujeeb Ahmed, A. Mathur, Martín Ochoa, 2020 .

Eric Rothstein Morris, Martín Ochoa, C. Murguia, 2017, PLAS@CCS.

Nils Ole Tippenhauer, Per A. Hallgren, Martín Ochoa, 2018, ESORICS.

David K. Y. Yau, Eyasu Getahun Chekole, John Henry Castellanos, 2017 .

Jan Jürjens, Martín Ochoa, Sven Wenzel, 2016, Software Engineering.

U. Zdun, J. Jürjens, Sven Wenzel, 2016 .

Yuval Elovici, Asaf Shabtai, Nils Ole Tippenhauer, 2017, ArXiv.

Yuval Elovici, Ivan Homoliak, Juan Guarnizo, 2018, ACM Comput. Surv..

Martín Ochoa, Eric Rothstein Morris, Carlos G. Murguia, 2017, PLAS@CCS.

Nils Ole Tippenhauer, Sridhar Adepu, Daniele Antonioli, 2017, CPS-SPC@CCS.

Nils Ole Tippenhauer, Sridhar Adepu, Daniele Antonioli, 2017, ArXiv.

Jianying Zhou, Chuadhry Mujeeb Ahmed, Martin Ochoa, 2021, AsiaCCS.

Keqin Li, Muhammad Torabi Dashti, Michele Peroli, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

David K. Y. Yau, Eyasu Getahun Chekole, John Henry Castellanos, 2017, CyberICPS/SECPRE@ESORICS.

Martín Ochoa, Lizzy Tengana, Alejandra Castelblanco, 2020, AISec@CCS.

Martín Ochoa, J. Breier, Xiaolu Hou, 2021, IEEE Transactions on Dependable and Secure Computing.

Ruth Breu, Koen Yskout, Riccardo Scandariato, 2014, Int. J. Secur. Softw. Eng..

Martín Ochoa, Ruben Rios, Jorge Cuéllar, 2012, SAC '12.

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2019, IEEE Transactions on Dependable and Secure Computing.

Soumik Mondal, Athul Harilal, John Henry Castellanos, 2017, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Sandra Julieta Rueda, John Henry Castellanos, Martín Ochoa, 2016, SG-CRC.

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2015, DIMVA.

Per A. Hallgren, Andrei Sabelfeld, Martín Ochoa, 2015, 2015 13th Annual Conference on Privacy, Security and Trust (PST).

Eyasu Getahun Chekole, Martín Ochoa, Jianying Zhou, 2023, Comput. Secur..

Jianying Zhou, Alvaro A. Cárdenas, John Henry Castellanos, 2021, RAID.

Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martin Ochoa, 2020, Int. J. Crit. Infrastructure Prot..

Nils Ole Tippenhauer, Daniele Antonioli, John Henry Castellanos, 2017, ACNS.

Alexander Pretschner, Per A. Hallgren, Martín Ochoa, 2015, ESSoS.

Laurent Mauborgne, Martín Ochoa, Boris Köpf, 2012, CAV.

Alexander Pretschner, Martín Ochoa, Enrico Lovat, 2016, ESSoS.

Jan Jürjens, Martín Ochoa, Jorge Cuéllar, 2012, TOOLS.

Jianying Zhou, Eyasu Getahun Chekole, Martin Ochoa, 2021, ArXiv.

Martín Ochoa, Xiaolu Hou, Ruben Rios, 2022, ACM Trans. Priv. Secur..

Per A. Hallgren, Andrei Sabelfeld, Martín Ochoa, 2018, J. Comput. Secur..

Chuadhry Mujeeb Ahmed, A. Mathur, Martín Ochoa, 2020, ACM Trans. Priv. Secur..

Gilles Barthe, Laurent Mauborgne, Martín Ochoa, 2014, POST.

Yuval Elovici, Asaf Shabtai, Nils Ole Tippenhauer, 2019, CODASPY.

Yuval Elovici, Asaf Shabtai, Nils Ole Tippenhauer, 2017, CPSS@AsiaCCS.

Athul Harilal, John Henry Castellanos, Martín Ochoa, 2017, MIST@CCS.