Jorge Cuéllar

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 10

Top Topics

Sensor Networks

Software Architecture

Top Venues

BPMDS/EMMSAD@CAiSE

Publications

Sebastian Mödersheim, Jorge Cuéllar
Three Branches of Accountability. Protocols, Strands, and Logic (2021)
Susanne Stahnke, Klym Shumaiev, Jorge Cuéllar, Prabhakaran Kasinathan
Enforcing a Cross-Organizational Workflow: An Experience Report. BPMDS/EMMSAD@CAiSE (2020)
Tiago Gasiba, Ulrike Lechner, Jorge Cuéllar, Alae Zouitni
Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry. ICPEC (2020)
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) (2019)
Prabhakaran Kasinathan, Jorge Cuéllar
Securing Emergent IoT Applications. SETSS (2018)
Prabhakaran Kasinathan, Jorge Cuéllar
Workflow-Aware Security of Integrated Mobility Services. ESORICS (2) (2018)
Prabhakaran Kasinathan, Jorge Cuéllar
Securing the Integrity of Workflows in IoT. EWSN (2018)
Nicholas J. Multari, Anoop Singhal, David O. Manz, Robert Cowles, Jorge Cuéllar, Christopher S. Oehmen, Gregory Shannon
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian? SafeConfig@CCS (2016)
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)
Ruben Rios, Jorge Cuéllar, Javier López
Probabilistic receiver-location privacy protection in wireless sensor networks. Inf. Sci. 321 (2015)
Javier López, Ruben Rios, Jorge Cuéllar
Preserving Receiver-Location Privacy in Wireless Sensor Networks. ISPEC (2014)
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 (2014)
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) (2013)
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 (2013)
Ruben Rios, Javier López, Jorge Cuéllar
Location Privacy in WSNs: Solutions, Challenges, and Future Trends. FOSAD (2013)
Martín Ochoa, Jan Jürjens, Jorge Cuéllar
Non-interference on UML State-Charts. TOOLS (50) (2012)
Ruben Rios, Jorge Cuéllar, Javier López
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN. ESORICS (2012)
Gilles Barthe, Jorge Cuéllar, Javier López, Alexander Pretschner
Preface. J. Comput. Secur. 20 (4) (2012)
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) (2012)
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)
Jorge Cuéllar, Martín Ochoa, Ruben Rios
Indistinguishable regions in geographic privacy. SAC (2012)
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)
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN (2010)
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM (2010)
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)
Jorge Cuéllar, Zhiming Liu
SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. 6 (1) (2007)
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)
David von Oheimb, Jorge Cuéllar
Designing and Verifying Core Protocols for Location Privacy. ISC (2006)
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) (2006)
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)
Jorge Cuéllar, John B. Morris, Deirdre K. Mulligan, Jon Peterson, James M. Polk
Geopriv Requirements. RFC 3693 (2004)
Jorge Cuéllar, Stefania Gnesi, Diego Latella
Foreword. Sci. Comput. Program. 36 (1) (2000)
Dines Bjørner, Jorge Cuéllar
Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Softw. Eng. 6 (1998)
Jorge Cuéllar
Formal Methods in an Industrial Environment. CAV (1998)
Jorge Cuéllar, Dieter Barnard, Martin Huber
Rapid Prototyping for an Assertional Specification language. TACAS (1996)
Jorge Cuéllar, Isolde Wildgruber
The Real-Time Behavior of the Steam Boiler. Formal Methods for Industrial Applications (1995)
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
Development of Safety-Critical Real-Time Systems. SOFSEM (1995)
Jorge Cuéllar, Isolde Wildgruber
The Steam-Boiler Problem - A TLT Solution. Formal Methods for Industrial Applications (1995)
Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
Combining the Design of Industrial Systems with Effective Verification Techniques. FME (1994)
Jorge Cuéllar, Dieter Barnard, Martin Huber
A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification (1994)
Frank-Peter Sette, Othmar Klaassen, Jorge Cuéllar
The Performance of an Expanded Storage System for High Volume Transaction Processing. EUROSIM (1992)
Jorge Cuéllar, Edwin Schicker
Lockperformance in Betriebssystemen. MMB (1989)