Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jorge Cuéllar
@inproceedings{DBLP:conf/birthday/ModersheimC21,
author = {Sebastian M{\"{o}}dersheim and
Jorge Cu{\'{e}}llar},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Three Branches of Accountability},
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 = {293--311},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_16},
doi = {10.1007/978-3-030-91631-2\_16},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ModersheimC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/FurnellHABBBCFFGHJJJL00MMPSSTVVW21,
author = {Steven Furnell and
Paul S. Haskell{-}Dowland and
Manish Agrawal and
Richard L. Baskerville and
Anirban Basu and
Matt Bishop and
Jorge Cu{\'{e}}llar and
Sara Foresti and
Lynn Futcher and
Nurit Gal{-}Oz and
Teju Herath and
Christian Damsgaard Jensen and
Allen C. Johnston and
Wouter Joosen and
Giovanni Livraga and
Javier L{\'{o}}pez and
Stephen Marsh and
Fabio Martinelli and
Fabio Massacci and
Aljosa Pasic and
Stef Schinagl and
Abbas Shahim and
Kerry{-}Lynn Thomson and
Jaideep Vaidya and
Tony Vance and
Merrill Warkentin},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Information Security and Privacy - Challenges and Outlook},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {383--401},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_16},
doi = {10.1007/978-3-030-81701-5\_16},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ifip/FurnellHABBBCFFGHJJJL00MMPSSTVVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/StahnkeSCK20,
author = {Susanne Stahnke and
Klym Shumaiev and
Jorge Cu{\'{e}}llar and
Prabhakaran Kasinathan},
editor = {Selmin Nurcan and
Iris Reinhartz{-}Berger and
Pnina Soffer and
Jelena Zdravkovic},
title = {Enforcing a Cross-Organizational Workflow: An Experience Report},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 21st
International Conference, {BPMDS} 2020, 25th International Conference,
{EMMSAD} 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {387},
pages = {85--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49418-6\_6},
doi = {10.1007/978-3-030-49418-6\_6},
timestamp = {Tue, 02 Jun 2020 17:44:39 +0200},
biburl = {https://dblp.org/rec/conf/caise/StahnkeSCK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpec/GasibaLCZ20,
author = {Tiago Gasiba and
Ulrike Lechner and
Jorge Cu{\'{e}}llar and
Alae Zouitni},
editor = {Ricardo Queir{\'{o}}s and
Filipe Portela and
M{\'{a}}rio Pinto and
Alberto Sim{\~{o}}es},
title = {Ranking Secure Coding Guidelines for Software Developer Awareness
Training in the Industry},
booktitle = {First International Computer Programming Education Conference, {ICPEC}
2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)},
series = {OASIcs},
volume = {81},
pages = {11:1--11:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.ICPEC.2020.11},
doi = {10.4230/OASICS.ICPEC.2020.11},
timestamp = {Wed, 24 Aug 2022 11:27:10 +0200},
biburl = {https://dblp.org/rec/conf/icpec/GasibaLCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/AlcarazBCHKP19,
author = {Cristina Alcaraz and
Mike Burmester and
Jorge Cu{\'{e}}llar and
Xinyi Huang and
Panayiotis Kotzanikolaou and
Mihalis Psarakis},
title = {Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient
Critical Infrastructures},
journal = {{IEEE} Internet Things J.},
volume = {6},
number = {5},
pages = {7988--7991},
year = {2019},
url = {https://doi.org/10.1109/JIOT.2019.2940394},
doi = {10.1109/JIOT.2019.2940394},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iotj/AlcarazBCHKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KasinathanC18,
author = {Prabhakaran Kasinathan and
Jorge Cu{\'{e}}llar},
editor = {Javier L{\'{o}}pez and
Jianying Zhou and
Miguel Soriano},
title = {Workflow-Aware Security of Integrated Mobility Services},
booktitle = {Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11099},
pages = {3--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98989-1\_1},
doi = {10.1007/978-3-319-98989-1\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/KasinathanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/KasinathanC18,
author = {Prabhakaran Kasinathan and
Jorge Cu{\'{e}}llar},
editor = {Domenico Giustiniano and
Dimitrios Koutsonikolas and
Albert Banchs and
Enzo Mingozzi and
Kaushik Roy Chowdhury},
title = {Securing the Integrity of Workflows in IoT},
booktitle = {Proceedings of the 2018 International Conference on Embedded Wireless
Systems and Networks, {EWSN} 2018. Madrid, Spain, February 14-16,
2018},
pages = {252--257},
publisher = {Junction Publishing, Canada/ {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3234908},
timestamp = {Wed, 11 Jul 2018 09:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ewsn/KasinathanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/KasinathanC18,
author = {Prabhakaran Kasinathan and
Jorge Cu{\'{e}}llar},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Securing Emergent IoT Applications},
booktitle = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
pages = {99--147},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17601-3\_3},
doi = {10.1007/978-3-030-17601-3\_3},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/KasinathanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/crc/rlc2016,
author = {Ruben Rios and
Javier L{\'{o}}pez and
Jorge Cu{\'{e}}llar},
title = {Location Privacy in Wireless Sensor Networks},
publisher = {{CRC} Press / Taylor {\&} Francis},
year = {2016},
url = {https://www.crcpress.com/Location-Privacy-in-Wireless-Sensor-Networks/Rios-Lopez-Cuellar/p/book/9781498776332},
isbn = {9781498776332},
timestamp = {Sat, 06 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/crc/rlc2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeconfig/MultariSMCCOS16,
author = {Nicholas J. Multari and
Anoop Singhal and
David O. Manz and
Robert Cowles and
Jorge Cu{\'{e}}llar and
Christopher S. Oehmen and
Gregory E. Shannon},
editor = {Nicholas J. Multari and
Anoop Singhal and
David O. Manz},
title = {SafeConfig'16: Testing and Evaluation for Active {\&} Resilient
Cyber Systems Panel Verification of Active and Resilient Systems:
Practical or Utopian?},
booktitle = {Proceedings of the 2016 {ACM} Workshop on Automated Decision Making
for Active Cyber Defense, SafeConfig@CCS 2016, Vienna, Austria, October
24, 2016},
pages = {53},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2994475.2994486},
doi = {10.1145/2994475.2994486},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safeconfig/MultariSMCCOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/RiosCL15,
author = {Ruben Rios and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
title = {Probabilistic receiver-location privacy protection in wireless sensor
networks},
journal = {Inf. Sci.},
volume = {321},
pages = {205--223},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.01.016},
doi = {10.1016/J.INS.2015.01.016},
timestamp = {Thu, 04 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/RiosCL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/OchoaCPH15,
author = {Mart{\'{\i}}n Ochoa and
Jorge Cu{\'{e}}llar and
Alexander Pretschner and
Per A. Hallgren},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Idea: Unwinding Based Model-Checking and Testing for Non-Interference
on EFSMs},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {34--42},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_3},
doi = {10.1007/978-3-319-15618-7\_3},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/OchoaCPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BuhnovaVMLLC14,
author = {Barbora Buhnova and
Antonio Vallecillo and
Nenad Medvidovic and
Magnus Larsson and
Javier L{\'{o}}pez and
Jorge Cu{\'{e}}llar},
title = {Guest editorial to the Special Issue on Component-Based Software Engineering
and Software Architecture},
journal = {Sci. Comput. Program.},
volume = {90},
pages = {67--70},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.028},
doi = {10.1016/J.SCICO.2013.11.028},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BuhnovaVMLLC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispec/LopezRC14,
author = {Javier L{\'{o}}pez and
Ruben Rios and
Jorge Cu{\'{e}}llar},
editor = {Xinyi Huang and
Jianying Zhou},
title = {Preserving Receiver-Location Privacy in Wireless Sensor Networks},
booktitle = {Information Security Practice and Experience - 10th International
Conference, {ISPEC} 2014, Fuzhou, China, May 5-8, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8434},
pages = {15--27},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06320-1\_3},
doi = {10.1007/978-3-319-06320-1\_3},
timestamp = {Fri, 09 Apr 2021 18:45:22 +0200},
biburl = {https://dblp.org/rec/conf/ispec/LopezRC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smartgridsec/2014,
editor = {Jorge Cu{\'{e}}llar},
title = {Smart Grid Security - Second International Workshop, SmartGridSec
2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8448},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10329-7},
doi = {10.1007/978-3-319-10329-7},
isbn = {978-3-319-10328-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/ArmandoCCCPS13,
author = {Alessandro Armando and
Roberto Carbone and
Luca Compagna and
Jorge Cu{\'{e}}llar and
Giancarlo Pellegrino and
Alessandro Sorniotti},
title = {An authentication flaw in browser-based Single Sign-On protocols:
Impact and remediations},
journal = {Comput. Secur.},
volume = {33},
pages = {41--58},
year = {2013},
url = {https://doi.org/10.1016/j.cose.2012.08.007},
doi = {10.1016/J.COSE.2012.08.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/ArmandoCCCPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/AlomairCCP13,
author = {Basel Alomair and
Andrew Clark and
Jorge Cu{\'{e}}llar and
Radha Poovendran},
title = {Toward a Statistical Framework for Source Anonymity in Sensor Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {12},
number = {2},
pages = {248--260},
year = {2013},
url = {https://doi.org/10.1109/TMC.2011.267},
doi = {10.1109/TMC.2011.267},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/AlomairCCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/RiosLC13,
author = {Ruben Rios and
Javier L{\'{o}}pez and
Jorge Cu{\'{e}}llar},
editor = {Alessandro Aldini and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Location Privacy in WSNs: Solutions, Challenges, and Future Trends},
booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8604},
pages = {244--282},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-10082-1\_9},
doi = {10.1007/978-3-319-10082-1\_9},
timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
biburl = {https://dblp.org/rec/conf/fosad/RiosLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smartgridsec/2012,
editor = {Jorge Cu{\'{e}}llar},
title = {Smart Grid Security - First International Workshop, SmartGridSec 2012,
Berlin, Germany, December 3, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7823},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38030-3},
doi = {10.1007/978-3-642-38030-3},
isbn = {978-3-642-38029-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6772,
author = {Henning Schulzrinne and
Hannes Tschofenig and
Jorge Ricardo Cuellar and
James M. Polk and
John B. Morris and
Martin Thomson},
title = {Geolocation Policy: {A} Document Format for Expressing Privacy Preferences
for Location Information},
journal = {{RFC}},
volume = {6772},
pages = {1--44},
year = {2013},
url = {https://doi.org/10.17487/RFC6772},
doi = {10.17487/RFC6772},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc6772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BartheCLP12,
author = {Gilles Barthe and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez and
Alexander Pretschner},
title = {Preface},
journal = {J. Comput. Secur.},
volume = {20},
number = {4},
pages = {307--308},
year = {2012},
url = {https://doi.org/10.3233/JCS-2012-0462},
doi = {10.3233/JCS-2012-0462},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BartheCLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AlomairCCP12,
author = {Basel Alomair and
Andrew Clark and
Jorge Cu{\'{e}}llar and
Radha Poovendran},
title = {Scalable {RFID} Systems: {A} Privacy-Preserving Protocol with Constant-Time
Identification},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {23},
number = {8},
pages = {1536--1550},
year = {2012},
url = {https://doi.org/10.1109/TPDS.2011.290},
doi = {10.1109/TPDS.2011.290},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/AlomairCCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/RiosCL12,
author = {Ruben Rios and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
editor = {Sara Foresti and
Moti Yung and
Fabio Martinelli},
title = {Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy
in {WSN}},
booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7459},
pages = {163--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33167-1\_10},
doi = {10.1007/978-3-642-33167-1\_10},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/RiosCL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CuellarOR12,
author = {Jorge Cu{\'{e}}llar and
Mart{\'{\i}}n Ochoa and
Ruben Rios},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Indistinguishable regions in geographic privacy},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1463--1469},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232010},
doi = {10.1145/2245276.2232010},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CuellarOR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12,
author = {Alessandro Armando and
Wihem Arsac and
Tigran Avanesov and
Michele Barletta and
Alberto Calvi and
Alessandro Cappai and
Roberto Carbone and
Yannick Chevalier and
Luca Compagna and
Jorge Cu{\'{e}}llar and
Gabriel Erzse and
Simone Frau and
Marius Minea and
Sebastian M{\"{o}}dersheim and
David von Oheimb and
Giancarlo Pellegrino and
Serena Elisa Ponta and
Marco Rocchetto and
Micha{\"{e}}l Rusinowitch and
Mohammad Torabi Dashti and
Mathieu Turuani and
Luca Vigan{\`{o}}},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {The {AVANTSSAR} Platform for the Automated Validation of Trust and
Security of Service-Oriented Architectures},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {267--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_19},
doi = {10.1007/978-3-642-28756-5\_19},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/OchoaJC12,
author = {Mart{\'{\i}}n Ochoa and
Jan J{\"{u}}rjens and
Jorge Cu{\'{e}}llar},
editor = {Carlo A. Furia and
Sebastian Nanz},
title = {Non-interference on {UML} State-Charts},
booktitle = {Objects, Models, Components, Patterns - 50th International Conference,
{TOOLS} 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7304},
pages = {219--235},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30561-0\_16},
doi = {10.1007/978-3-642-30561-0\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/OchoaJC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isarcs/2012,
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
title = {Proceedings of the 3rd international {ACM} {SIGSOFT} symposium on
Architecting Critical Systems, {ISARCS} 2012, part of Comparch '12
Federated Events on Component-Based Software Engineering and Software
Architecture, Bertinoro, Italy, June 25-28, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2304656},
isbn = {978-1-4503-1347-6},
timestamp = {Sat, 06 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isarcs/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/ArmandoCCCPS11,
author = {Alessandro Armando and
Roberto Carbone and
Luca Compagna and
Jorge Cu{\'{e}}llar and
Giancarlo Pellegrino and
Alessandro Sorniotti},
editor = {Jan Camenisch and
Simone Fischer{-}H{\"{u}}bner and
Yuko Murayama and
Armand Portmann and
Carlos Rieder},
title = {From Multiple Credentials to Browser-Based Single Sign-On: Are We
More Secure?},
booktitle = {Future Challenges in Security and Privacy for Academia and Industry
- 26th {IFIP} {TC} 11 International Information Security Conference,
{SEC} 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {354},
pages = {68--79},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21424-0\_6},
doi = {10.1007/978-3-642-21424-0\_6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sec/ArmandoCCCPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stm/2010,
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner},
title = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22444-7},
doi = {10.1007/978-3-642-22444-7},
isbn = {978-3-642-22443-0},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AlomairCCP10,
author = {Basel Alomair and
Andrew Clark and
Jorge Cu{\'{e}}llar and
Radha Poovendran},
title = {Scalable {RFID} systems: a privacy-preserving protocol with constant-time
identification},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5545008},
doi = {10.1109/DSN.2010.5545008},
timestamp = {Sat, 01 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/AlomairCCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/AlomairCCP10,
author = {Basel Alomair and
Andrew Clark and
Jorge Cu{\'{e}}llar and
Radha Poovendran},
title = {Statistical Framework for Source Anonymity in Sensor Networks},
booktitle = {Proceedings of the Global Communications Conference, 2010. {GLOBECOM}
2010, 6-10 December 2010, Miami, Florida, {USA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/GLOCOM.2010.5684248},
doi = {10.1109/GLOCOM.2010.5684248},
timestamp = {Sat, 01 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/AlomairCCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ArmandoCCCT08,
author = {Alessandro Armando and
Roberto Carbone and
Luca Compagna and
Jorge Cu{\'{e}}llar and
Llanos Tobarra},
editor = {Vitaly Shmatikov},
title = {Formal analysis of {SAML} 2.0 web browser single sign-on: breaking
the SAML-based single sign-on for google apps},
booktitle = {Proceedings of the 6th {ACM} Workshop on Formal Methods in Security
Engineering, {FMSE} 2008, Alexandria, VA, USA, October 27, 2008},
pages = {1--10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1456396.1456397},
doi = {10.1145/1456396.1456397},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ArmandoCCCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2008,
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0},
doi = {10.1007/978-3-540-68237-0},
isbn = {978-3-540-68235-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CuellarL07,
author = {Jorge Cu{\'{e}}llar and
Zhiming Liu},
title = {SoSyM Special Section on Software Engineering and Formal Methods},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {37--38},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0010-3},
doi = {10.1007/S10270-006-0010-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CuellarL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RobinsonLLSPOBC07,
author = {Richard Robinson and
Mingyan Li and
Scott Lintelman and
Krishna Sampigethaya and
Radha Poovendran and
David von Oheimb and
Jens{-}Uwe Bu{\ss}er and
Jorge Cu{\'{e}}llar},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Electronic Distribution of Airplane Software and the Impact of Information
Security on Airplane Safety},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {28--39},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_3},
doi = {10.1007/978-3-540-75101-4\_3},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/RobinsonLLSPOBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4745,
author = {Henning Schulzrinne and
Hannes Tschofenig and
John B. Morris and
Jorge Ricardo Cuellar and
James M. Polk and
Jonathan D. Rosenberg},
title = {Common Policy: {A} Document Format for Expressing Privacy Preferences},
journal = {{RFC}},
volume = {4745},
pages = {1--32},
year = {2007},
url = {https://doi.org/10.17487/RFC4745},
doi = {10.17487/RFC4745},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc4745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ArmandoBCRV06,
author = {Alessandro Armando and
David A. Basin and
Jorge Cu{\'{e}}llar and
Micha{\"{e}}l Rusinowitch and
Luca Vigan{\`{o}}},
title = {Automated Reasoning for Security Protocol Analysis},
journal = {J. Autom. Reason.},
volume = {36},
number = {1-2},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1007/s10817-005-9014-x},
doi = {10.1007/S10817-005-9014-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ArmandoBCRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/OheimbC06,
author = {David von Oheimb and
Jorge Cu{\'{e}}llar},
editor = {Sokratis K. Katsikas and
Javier L{\'{o}}pez and
Michael Backes and
Stefanos Gritzalis and
Bart Preneel},
title = {Designing and Verifying Core Protocols for Location Privacy},
booktitle = {Information Security, 9th International Conference, {ISC} 2006, Samos
Island, Greece, August 30 - September 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4176},
pages = {502--516},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11836810\_36},
doi = {10.1007/11836810\_36},
timestamp = {Thu, 29 Aug 2019 08:10:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/OheimbC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmandoBBCCCDHKMMORSTVV05,
author = {Alessandro Armando and
David A. Basin and
Yohan Boichut and
Yannick Chevalier and
Luca Compagna and
Jorge Cu{\'{e}}llar and
Paul Hankes Drielsma and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko and
Jacopo Mantovani and
Sebastian M{\"{o}}dersheim and
David von Oheimb and
Micha{\"{e}}l Rusinowitch and
Judson Santiago and
Mathieu Turuani and
Luca Vigan{\`{o}} and
Laurent Vigneron},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {The {AVISPA} Tool for the Automated Validation of Internet Security
Protocols and Applications},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {281--285},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_27},
doi = {10.1007/11513988\_27},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArmandoBBCCCDHKMMORSTVV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc3693,
author = {Jorge Cu{\'{e}}llar and
John B. Morris and
Deirdre K. Mulligan and
Jon Peterson and
James M. Polk},
title = {Geopriv Requirements},
journal = {{RFC}},
volume = {3693},
pages = {1--30},
year = {2004},
url = {https://doi.org/10.17487/RFC3693},
doi = {10.17487/RFC3693},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc3693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CuellarGL00,
author = {Jorge Cu{\'{e}}llar and
Stefania Gnesi and
Diego Latella},
title = {Foreword},
journal = {Sci. Comput. Program.},
volume = {36},
number = {1},
pages = {1--3},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00014-3},
doi = {10.1016/S0167-6423(99)00014-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CuellarGL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/BjornerC98,
author = {Dines Bj{\o}rner and
Jorge Cu{\'{e}}llar},
title = {Software Engineering Education: R{\^{o}}les of Formal Specification
and Design Calculi},
journal = {Ann. Softw. Eng.},
volume = {6},
pages = {365--409},
year = {1998},
url = {https://doi.org/10.1023/A:1018969717835},
doi = {10.1023/A:1018969717835},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/BjornerC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cuellar98,
author = {Jorge Cu{\'{e}}llar},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Formal Methods in an Industrial Environment},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {57--60},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028732},
doi = {10.1007/BFB0028732},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Cuellar98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CuellarBH96,
author = {Jorge Cu{\'{e}}llar and
Dieter Barnard and
Martin Huber},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rapid Prototyping for an Assertional Specification language},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {402--406},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_59},
doi = {10.1007/3-540-61042-1\_59},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CuellarBH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarW95,
author = {Jorge Cu{\'{e}}llar and
Isolde Wildgruber},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Steam-Boiler Problem - {A} {TLT} Solution},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {165--183},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027236},
doi = {10.1007/BFB0027236},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarW95a,
author = {Jorge Cu{\'{e}}llar and
Isolde Wildgruber},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Real-Time Behavior of the Steam Boiler},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {184--202},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027237},
doi = {10.1007/BFB0027237},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarW95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/RischelCMRW95,
author = {Hans Rischel and
Jorge Cu{\'{e}}llar and
Simon M{\o}rk and
Anders P. Ravn and
Isolde Wildgruber},
editor = {Miroslav Bartosek and
Jan Staudek and
Jir{\'{\i}} Wiedermann},
title = {Development of Safety-Critical Real-Time Systems},
booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice
of Informatics, Milovy, Czech Republic, November 23 - December 1,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1012},
pages = {206--235},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60609-2\_11},
doi = {10.1007/3-540-60609-2\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/RischelCMRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/CuellarH95,
author = {Jorge Cu{\'{e}}llar and
Martin Huber},
editor = {Claus Lewerentz and
Thomas Lindner},
title = {{TLT}},
booktitle = {Formal Development of Reactive Systems - Case Study Production Cell},
series = {Lecture Notes in Computer Science},
volume = {891},
pages = {151--169},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58867-1\_53},
doi = {10.1007/3-540-58867-1\_53},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/CuellarH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarBH94,
author = {Jorge Cu{\'{e}}llar and
Dieter Barnard and
Martin Huber},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Solution Relying on the Model Checking of Boolean Transition Systems},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {213--251},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024431},
doi = {10.1007/BFB0024431},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CuellarWB94,
author = {Jorge Cu{\'{e}}llar and
Isolde Wildgruber and
Dieter Barnard},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Combining the Design of Industrial Systems with Effective Verification
Techniques},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {639--658},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_120},
doi = {10.1007/3-540-58555-9\_120},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CuellarWB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CuellarS93,
author = {Jorge Ricardo Cuellar and
Hans Ulrich Simon},
editor = {Klaus P. Jantke and
Shigenobu Kobayashi and
Etsuji Tomita and
Takashi Yokomori},
title = {Neural Discriminant Analysis},
booktitle = {Algorithmic Learning Theory, 4th International Workshop, {ALT} '93,
Tokyo, Japan, November 8-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {744},
pages = {223--236},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57370-4\_50},
doi = {10.1007/3-540-57370-4\_50},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/CuellarS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/SetteKC92,
author = {Frank{-}Peter Sette and
Othmar Klaassen and
Jorge Cu{\'{e}}llar},
editor = {Franco Maceri and
Giuseppe Iazeolla},
title = {The Performance of an Expanded Storage System for High Volume Transaction
Processing},
booktitle = {Eurosim 1992, Simulation Congress, Proceedings of the 1992 {EUROSIM}
Conference, Capri, Italy, September 28 - October 4, 1992},
pages = {203--208},
publisher = {Elsevier},
year = {1992},
timestamp = {Thu, 01 Jun 2023 13:15:48 +0200},
biburl = {https://dblp.org/rec/conf/eurosim/SetteKC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/CuellarS89,
author = {Jorge Cu{\'{e}}llar and
Edwin Schicker},
editor = {G{\"{u}}nther Stiege and
J. S. Lie},
title = {Lockperformance in Betriebssystemen},
booktitle = {Messung, Modellierung und Bewertung von Rechensystemen, 5. GI/ITG-Fachtagung,
Braunschweig, 26.-28. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {218},
pages = {241--254},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75079-3\_17},
doi = {10.1007/978-3-642-75079-3\_17},
timestamp = {Wed, 24 May 2017 08:29:19 +0200},
biburl = {https://dblp.org/rec/conf/mmb/CuellarS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
