Martín Ochoa Coauthor index pubzone.org

Facets and more with CompleteSearch

Martín Ochoa Ronderos

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici: SIPHON: Towards Scalable High-Interaction Physical Honeypots. CoRR abs/1701.02446 (2017)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR abs/1701.06743 (2017)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele 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 abs/1702.03067 (2017)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLina M. Jimenez, Martín Ochoa, Sandra Julieta Rueda: Jif-Based Verification of Information Flow Policies for Android Apps. IJSSE 8(1): 28-42 (2017)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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: 57-68
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYair 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: 506-509
2016
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer A. Hallgren, Martín Ochoa, Andrei Sabelfeld: MaxPace: Speed-constrained location queries. CNS 2016: 136-144
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Lovat, Martín Ochoa, Alexander Pretschner: Sound and Precise Cross-Layer Data Flow Tracking. ESSoS 2016: 38-55
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer: MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. ASE 2016: 780-785
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wüchner, Martín Ochoa, Enrico Lovat, Alexander Pretschner: Generating behavior-based malware detection models with genetic programming. PST 2016: 506-511
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias 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: 2087-2094
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa: Umlchange - specifying model changes to support security verification of potential evolution. Software Engineering 2016: 91-92
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner: Enhancing Operation Security using Secret Sharing. SECRYPT 2016: 446-451
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Henry Castellanos, Tobias Wüchner, Martín Ochoa, Sandra Julieta Rueda: Q-Floid: Android Malware detection with Quantitative Data Flow Graphs. SG-CRC 2016: 13-25
2015
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wüchner, Martín Ochoa, Alexander Pretschner: Robust and Effective Malware Detection through Quantitative Data Flow Graph Metrics. CoRR abs/1502.01609 (2015)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner: FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR abs/1502.03245 (2015)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay Ganesh, Sebastian Banescu, Martín Ochoa: The Meaning of Attack-Resistant Programs. CoRR abs/1502.04023 (2015)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wüchner, Martín Ochoa, Alexander Pretschner: Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. DIMVA 2015: 98-118
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay Ganesh, Sebastian Banescu, Martín Ochoa: Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP 2015: 49-55
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren: Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ESSoS 2015: 34-42
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner: Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS 2015: 149-156
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Banescu, Martín Ochoa, Alexander Pretschner: A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE 2015: 45-51
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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: 40-47
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer A. Hallgren, Martín Ochoa, Andrei Sabelfeld: BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields. ProvSec 2015: 291-309
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer A. Hallgren, Martín Ochoa, Andrei Sabelfeld: InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol. PST 2015: 1-6
2014
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa: Specifying model changes with UMLchange to support security verification of potential evolution. Computer Standards & Interfaces 36(4): 776-791 (2014)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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. IJSSE 5(4): 48-98 (2014)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wüchner, Martín Ochoa, Alexander Pretschner: Malware detection with quantitative data flow graphs. ASIACCS 2014: 271-282
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa: Leakage Resilience against Concurrent Cache Attacks. POST 2014: 140-158
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti: Model-Based Detection of CSRF. SEC 2014: 30-43
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wüchner, Alexander Pretschner, Martín Ochoa: DAVAST: data-centric system level activity visualization. VizSEC 2014: 25-32
2013
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti: VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST 2013: 471-478
2012
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Ochoa Ronderos: Model based security guarantees and change. Dortmund University of Technology 2012
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Köpf, Laurent Mauborgne, Martín Ochoa: Automatic Quantification of Cache Side-Channels. IACR Cryptology ePrint Archive 2012: 34 (2012)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Köpf, Laurent Mauborgne, Martín Ochoa: Automatic Quantification of Cache Side-Channels. CAV 2012: 564-580
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Ochoa, Jan Jürjens, Daniel Warzecha: A Sound Decision Procedure for the Compositionality of Secrecy. ESSoS 2012: 97-105
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Cuéllar, Martín Ochoa, Ruben Rios: Indistinguishable regions in geographic privacy. SAC 2012: 1463-1469
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Ochoa, Jan Jürjens, Jorge Cuéllar: Non-interference on UML State-Charts. TOOLS (50) 2012: 219-235
2011
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi: Model-Based Security Verification and Testing for Smart-cards. ARES 2011: 272-279
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt: Incremental Security Verification for Evolving UMLsec models. ECMFA 2011: 52-68
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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: 504-526

Coauthor Index

1Sridhar Adepu[i5]
2Mohsen Ahmadvand[c22]
3Daniele Antonioli[i5]
4Sebastian Banescu[i6] [i3] [i2] [c19] [c17] [c16] [c15]
5Gilles Barthe[i6] [c11]
6Suman Sankar Bhunia[i7] [c30]
7Abian Blome[c8]
8Michael Bohadana[c29]
9Julien Botella[c3]
10Fabrice Bouquet[c3]
11Ruth Breu[j1]
12John Henry Castellanos[c21]
13Jorge Cuéllar[c18] [c5] [c4]
14Muhammad Torabi Dashti
Mohammad Torabi Dashti
[c10] [c8]
15Cynthia Disenfeld[i6]
16Yuval Elovici[i7] [c30] [c29]
17Michael Felderer[j1]
18Elizabeta Fourneret[j1] [c3]
19Matthias Gander[j1]
20Vijay Ganesh[i6] [i2] [c19]
21Hamid Reza Ghaeini[i5]
22Mojdeh Golagha[c24]
23Juan Guarnizo
Juan David Guarnizo
[i7] [c30] [c29]
24Marius Guggenmos[i3] [c15]
25Per A. Hallgren[c28] [c18] [c14] [c13]
26Siv Hilde Houmb[c1]
27Shareeful Islam[c1]
28Lina M. Jimenez[j3]
29Jan Jürjens[c23] [j2] [j1] [c6] [c4] [c3] [c2] [c1]
30Philipp Kalb[j1]
31Basel Katt[j1]
32Boris Köpf[c11] [i1] [c7]
33Nils Kunze[c17]
34Keqin Li 0002[c8]
35Tobias Limmer[c26]
36Enrico Lovat[c27] [c25]
37Loïc Marchal[c2] [c1]
38Laurent Mauborgne[c11] [i1] [c7]
39Yair Meidan[c29]
40Saahil Ognawala[c26]
41Federica Paci[j1]
42Michele Peroli[c8]
43Frank Piessens[j1]
44Daniel Poggenpohl[c23] [j2]
45Alexander Pretschner[c27] [c26] [c25] [c24] [c22] [i4] [i3] [c20] [c18] [c17] [c16] [c15] [c12] [c9]
46Ruben Rios[c5]
47Marco Rocchetto[c10]
48Sandra Julieta Rueda[j3] [c21]
49Andrei Sabelfeld[c28] [c14] [c13]
50Aleieldin Salem[c15]
51Riccardo Scandariato[j1]
52Antoine Scemama[c22]
53Holger Schmidt[c2] [c1]
54Thomas Schreck[c24]
55Asaf Shabtai[i7] [c30] [c29]
56Bjørnar Solhaug[j1]
57Gaurav Srivastava[c24]
58Amit Tambe[i7] [c30]
59Nils Ole Tippenhauer[i7] [i5] [c30] [c29]
60Le Minh Sang Tran[j1]
61Thein Than Tun[j1]
62Dries Vanoverberghe[j1]
63Daniel Warzecha[c6]
64Sven Wenzel[c23] [j2]
65Tobias Wüchner[c25] [c24] [c21] [i4] [i3] [c20] [c15] [c12] [c9]
66Parvaneh Yousefi[c3]
67Koen Yskout[j1]

 

Last update 2017-06-17 01:05 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page