Travelled to:1 × Czech Republic
1 × Luxembourg
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:J.Jürjens J.Cuéllar L.Marchal H.Schmidt B.Köpf L.Mauborgne R.Rios S.Ognawala A.Pretschner T.Limmer A.Blome K.Li M.Peroli M.T.Dashti S.H.Houmb S.Islam
Talks about:model (3) vulner (2) secur (2) indistinguish (1) increment (1) interfer (1) geograph (1) composit (1) abstract (1) quantif (1)
Person: Martín Ochoa
DBLP: Ochoa:Mart=iacute=n
Contributed to:
2013
2012
2012
2012
2011
2011
2016Wrote 7 papers:
- ICST-2013-BlomeOLPD #flexibility #modelling #named #testing
- VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
- CAV-2012-KopfMO #automation #quantifier
- Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
- SAC-2012-CuellarOR #privacy
- Indistinguishable regions in geographic privacy (JC, MO, RR), pp. 1463–1469.
- TOOLS-EUROPE-2012-OchoaJC #uml
- Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
- ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification
- Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.
- SFM-2011-JurjensOSMHI #evolution #modelling #specification
- Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (JJ, MO, HS, LM, SHH, SI), pp. 504–526.
- ASE-2016-OgnawalaOPL #analysis #composition #execution #low level #named #symbolic computation
- MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.