BibTeX records: Damián Aparicio-Sánchez

• > Home > Persons > Damián Aparicio-Sánchez

@inproceedings{DBLP:conf/birthday/Aparicio-Sanchez21,
  author       = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer and
                  Julia Sapi{\~{n}}a},
  editor       = {Daniel Dougherty and
                  Jos{\'{e}} Meseguer and
                  Sebastian Alexander M{\"{o}}dersheim and
                  Paul D. Rowe},
  title        = {Protocol Analysis with Time and Space},
  booktitle    = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
                  on the Occasion of his 66.66th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13066},
  pages        = {22--49},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91631-2\_2},
  doi          = {10.1007/978-3-030-91631-2\_2},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Aparicio-Sanchez21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esorics/Aparicio-Sanchez20,
  author       = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Ra{\'{u}}l Guti{\'{e}}rrez and
                  Julia Sapi{\~{n}}a},
  editor       = {Liqun Chen and
                  Ninghui Li and
                  Kaitai Liang and
                  Steve A. Schneider},
  title        = {An Optimizing Protocol Transformation for Constructor Finite Variant
                  Theories in Maude-NPA},
  booktitle    = {Computer Security - {ESORICS} 2020 - 25th European Symposium on Research
                  in Computer Security, {ESORICS} 2020, Guildford, UK, September 14-18,
                  2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12309},
  pages        = {230--250},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59013-0\_12},
  doi          = {10.1007/978-3-030-59013-0\_12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esorics/Aparicio-Sanchez20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/indocrypt/Aparicio-Sanchez20,
  author       = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer and
                  Julia Sapi{\~{n}}a},
  editor       = {Karthikeyan Bhargavan and
                  Elisabeth Oswald and
                  Manoj Prabhakaran},
  title        = {Protocol Analysis with Time},
  booktitle    = {Progress in Cryptology - {INDOCRYPT} 2020 - 21st International Conference
                  on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12578},
  pages        = {128--150},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65277-7\_7},
  doi          = {10.1007/978-3-030-65277-7\_7},
  timestamp    = {Wed, 17 Apr 2024 21:39:19 +0200},
  biburl       = {https://dblp.org/rec/conf/indocrypt/Aparicio-Sanchez20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-11070,
  author       = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Julia Sapi{\~{n}}a},
  editor       = {Francesco Ricca and
                  Alessandra Russo and
                  Sergio Greco and
                  Nicola Leone and
                  Alexander Artikis and
                  Gerhard Friedrich and
                  Paul Fodor and
                  Angelika Kimmig and
                  Francesca A. Lisi and
                  Marco Maratea and
                  Alessandra Mileo and
                  Fabrizio Riguzzi},
  title        = {Variant-based Equational Unification under Constructor Symbols},
  booktitle    = {Proceedings 36th International Conference on Logic Programming (Technical
                  Communications), {ICLP} Technical Communications 2020, (Technical
                  Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
  series       = {{EPTCS}},
  volume       = {325},
  pages        = {38--51},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.325.10},
  doi          = {10.4204/EPTCS.325.10},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-11070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2010-13707,
  author       = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer and
                  Julia Sapi{\~{n}}a},
  title        = {Protocol Analysis with Time},
  journal      = {CoRR},
  volume       = {abs/2010.13707},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.13707},
  eprinttype    = {arXiv},
  eprint       = {2010.13707},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-13707.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Gonzalez-Burgueno18,
  author       = {Antonio Gonz{\'{a}}lez{-}Burgue{\~{n}}o and
                  Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer},
  editor       = {Gilles Barthe and
                  Geoff Sutcliffe and
                  Margus Veanes},
  title        = {Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA},
  booktitle    = {{LPAR-22.} 22nd International Conference on Logic for Programming,
                  Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
                  2018},
  series       = {EPiC Series in Computing},
  volume       = {57},
  pages        = {400--417},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/c4xk},
  doi          = {10.29007/C4XK},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Gonzalez-Burgueno18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1806-07209,
  author       = {Antonio Gonz{\'{a}}lez{-}Burgue{\~{n}}o and
                  Dami{\'{a}}n Aparicio and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer},
  title        = {Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA},
  journal      = {CoRR},
  volume       = {abs/1806.07209},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.07209},
  eprinttype    = {arXiv},
  eprint       = {1806.07209},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-07209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}