![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jorge Cuéllar
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c31]Sebastian Mödersheim
, Jorge Cuéllar:
Three Branches of Accountability. Protocols, Strands, and Logic 2021: 293-311 - [p2]Steven Furnell
, Paul S. Haskell-Dowland
, Manish Agrawal
, Richard L. Baskerville
, Anirban Basu
, Matt Bishop
, Jorge Cuéllar, Sara Foresti
, Lynn Futcher
, Nurit Gal-Oz
, Tejaswini (Teju) Herath
, Christian Damsgaard Jensen
, Allen C. Johnston
, Wouter Joosen, Giovanni Livraga
, Javier López
, Stephen Marsh, Fabio Martinelli, Fabio Massacci
, Aljosa Pasic
, Stef Schinagl
, Abbas Shahim, Kerry-Lynn Thomson
, Jaideep Vaidya
, Tony Vance
, Merrill Warkentin
:
Information Security and Privacy - Challenges and Outlook. IFIP's Exciting First 60+ Years 2021: 383-401 - 2020
- [c30]Susanne Stahnke, Klym Shumaiev, Jorge Cuéllar, Prabhakaran Kasinathan:
Enforcing a Cross-Organizational Workflow: An Experience Report. BPMDS/EMMSAD@CAiSE 2020: 85-98 - [c29]Tiago Gasiba
, Ulrike Lechner
, Jorge Cuéllar
, Alae Zouitni
:
Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry. ICPEC 2020: 11:1-11:11
2010 – 2019
- 2019
- [j11]Cristina Alcaraz, Mike Burmester
, Jorge Cuéllar, Xinyi Huang
, Panayiotis Kotzanikolaou
, Mihalis Psarakis
:
Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures. IEEE Internet Things J. 6(5): 7988-7991 (2019) - 2018
- [c28]Prabhakaran Kasinathan, Jorge Cuéllar:
Workflow-Aware Security of Integrated Mobility Services. ESORICS (2) 2018: 3-19 - [c27]Prabhakaran Kasinathan, Jorge Cuéllar:
Securing the Integrity of Workflows in IoT. EWSN 2018: 252-257 - [c26]Prabhakaran Kasinathan
, Jorge Cuéllar:
Securing Emergent IoT Applications. SETSS 2018: 99-147 - 2016
- [b1]Ruben Rios, Javier López, Jorge Cuéllar:
Location Privacy in Wireless Sensor Networks. CRC Press / Taylor & Francis 2016, ISBN 9781498776332 - [c25]Nicholas J. Multari, Anoop Singhal, David O. Manz, Robert Cowles, Jorge Cuéllar, Christopher S. Oehmen, Gregory E. Shannon:
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian? SafeConfig@CCS 2016: 53 - 2015
- [j10]Ruben Rios, Jorge Cuéllar, Javier López
:
Probabilistic receiver-location privacy protection in wireless sensor networks. Inf. Sci. 321: 205-223 (2015) - [c24]Martí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 - 2014
- [j9]Barbora Buhnova
, Antonio Vallecillo
, Nenad Medvidovic, Magnus Larsson
, Javier López
, Jorge Cuéllar:
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture. Sci. Comput. Program. 90: 67-70 (2014) - [c23]Javier López
, Ruben Rios, Jorge Cuéllar:
Preserving Receiver-Location Privacy in Wireless Sensor Networks. ISPEC 2014: 15-27 - [e5]Jorge Cuéllar:
Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8448, Springer 2014, ISBN 978-3-319-10328-0 [contents] - 2013
- [j8]Alessandro Armando
, Roberto Carbone
, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti:
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Comput. Secur. 33: 41-58 (2013) - [j7]Basel Alomair
, Andrew Clark, Jorge Cuéllar, Radha Poovendran
:
Toward a Statistical Framework for Source Anonymity in Sensor Networks. IEEE Trans. Mob. Comput. 12(2): 248-260 (2013) - [c22]Ruben Rios, Javier López, Jorge Cuéllar:
Location Privacy in WSNs: Solutions, Challenges, and Future Trends. FOSAD 2013: 244-282 - [e4]Jorge Cuéllar:
Smart Grid Security - First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7823, Springer 2013, ISBN 978-3-642-38029-7 [contents] - [i3]Henning Schulzrinne, Hannes Tschofenig, Jorge Ricardo Cuellar, James M. Polk, John B. Morris, Martin Thomson:
Geolocation Policy: A Document Format for Expressing Privacy Preferences for Location Information. RFC 6772: 1-44 (2013) - 2012
- [j6]Gilles Barthe
, Jorge Cuéllar, Javier López
, Alexander Pretschner:
Preface. J. Comput. Secur. 20(4): 307-308 (2012) - [j5]Basel Alomair
, Andrew Clark, Jorge Cuéllar, Radha Poovendran
:
Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification. IEEE Trans. Parallel Distributed Syst. 23(8): 1536-1550 (2012) - [c21]Ruben Rios, Jorge Cuéllar, Javier López
:
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN. ESORICS 2012: 163-180 - [c20]Jorge Cuéllar, Martín Ochoa
, Ruben Rios:
Indistinguishable regions in geographic privacy. SAC 2012: 1463-1469 - [c19]Alessandro Armando
, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone
, Yannick Chevalier
, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim
, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò:
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282 - [c18]Martín Ochoa
, Jan Jürjens, Jorge Cuéllar:
Non-interference on UML State-Charts. TOOLS (50) 2012: 219-235 - [e3]Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López:
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. ACM 2012, ISBN 978-1-4503-1347-6 [contents] - 2011
- [c17]Alessandro Armando
, Roberto Carbone
, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti:
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC 2011: 68-79 - [e2]Jorge Cuéllar, Gilles Barthe
, Alexander Pretschner, Javier López:
Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6710, Springer 2011, ISBN 978-3-642-22443-0 [contents] - 2010
- [c16]Basel Alomair
, Andrew Clark, Jorge Cuéllar, Radha Poovendran
:
Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN 2010: 1-10 - [c15]Basel Alomair
, Andrew Clark, Jorge Cuéllar, Radha Poovendran
:
Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM 2010: 1-6
2000 – 2009
- 2008
- [c14]Alessandro Armando
, Roberto Carbone
, Luca Compagna, Jorge Cuéllar, Llanos Tobarra
:
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10 - [e1]Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere:
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014, Springer 2008, ISBN 978-3-540-68235-6 [contents] - 2007
- [j4]Jorge Cuéllar, Zhiming Liu:
SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. 6(1): 37-38 (2007) - [c13]Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran
, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar:
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. SAFECOMP 2007: 28-39 - [i2]Henning Schulzrinne, Hannes Tschofenig, John B. Morris, Jorge Ricardo Cuellar, James M. Polk, Jonathan D. Rosenberg:
Common Policy: A Document Format for Expressing Privacy Preferences. RFC 4745: 1-32 (2007) - 2006
- [j3]Alessandro Armando
, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò:
Automated Reasoning for Security Protocol Analysis. J. Autom. Reason. 36(1-2): 1-3 (2006) - [c12]David von Oheimb, Jorge Cuéllar:
Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516 - 2005
- [c11]Alessandro Armando, David A. Basin
, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko
, Jacopo Mantovani, Sebastian Mödersheim
, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron:
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285 - 2004
- [i1]Jorge Cuéllar, John B. Morris, Deirdre K. Mulligan, Jon Peterson, James M. Polk:
Geopriv Requirements. RFC 3693: 1-30 (2004) - 2000
- [j2]Jorge Cuéllar, Stefania Gnesi, Diego Latella
:
Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
1990 – 1999
- 1998
- [j1]Dines Bjørner, Jorge Cuéllar:
Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Softw. Eng. 6: 365-409 (1998) - [c10]Jorge Cuéllar:
Formal Methods in an Industrial Environment. CAV 1998: 57-60 - 1996
- [c9]Jorge Cuéllar, Dieter Barnard, Martin Huber:
Rapid Prototyping for an Assertional Specification language. TACAS 1996: 402-406 - 1995
- [c8]Jorge Cuéllar, Isolde Wildgruber:
The Steam-Boiler Problem - A TLT Solution. Formal Methods for Industrial Applications 1995: 165-183 - [c7]Jorge Cuéllar, Isolde Wildgruber:
The Real-Time Behavior of the Steam Boiler. Formal Methods for Industrial Applications 1995: 184-202 - [c6]Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber:
Development of Safety-Critical Real-Time Systems. SOFSEM 1995: 206-235 - [p1]Jorge Cuéllar, Martin Huber:
TLT. Formal Development of Reactive Systems 1995: 151-169 - 1994
- [c5]Jorge Cuéllar, Dieter Barnard, Martin Huber:
A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251 - [c4]Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard:
Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658 - 1993
- [c3]Jorge Ricardo Cuellar, Hans Ulrich Simon
:
Neural Discriminant Analysis. ALT 1993: 223-236 - 1992
- [c2]Frank-Peter Sette, Othmar Klaassen, Jorge Cuéllar:
The Performance of an Expanded Storage System for High Volume Transaction Processing. EUROSIM 1992: 203-208
1980 – 1989
- 1989
- [c1]Jorge Cuéllar, Edwin Schicker:
Lockperformance in Betriebssystemen. MMB 1989: 241-254
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 02:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint