default search action
Jorge Cuéllar
Person information
Refine list
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
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
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
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
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
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ESSoS 2015: 34-42 - 2014
- [j9]Barbora Buhnova
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
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
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Comput. Secur. 33: 41-58 (2013) - [j7]Basel Alomair
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
Preface. J. Comput. Secur. 20(4): 307-308 (2012) - [j5]Basel Alomair
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
Indistinguishable regions in geographic privacy. SAC 2012: 1463-1469 - [c19]Alessandro Armando
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282 - [c18]Martín Ochoa
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
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC 2011: 68-79 - [e2]Jorge Cuéllar, Gilles Barthe
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
Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN 2010: 1-10 - [c15]Basel Alomair
Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM 2010: 1-6
2000 – 2009
- 2008
- [c14]Alessandro Armando
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
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
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
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
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-10-07 21: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: