Jorge Cuéllar

51 papers A* 2A 4B 5C 2Misc 2Journal 12Unranked 16
YearRankTypeTitle / Venue / Authors
2021 — ch.
Information Security and Privacy - Challenges and Outlook.
IFIP's Exciting First 60+ Years
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
2021 — conf
Three Branches of Accountability.
Protocols, Strands, and Logic
Sebastian Mödersheim, Jorge Cuéllar
2020 — conf
Enforcing a Cross-Organizational Workflow: An Experience Report.
BPMDS/EMMSAD@CAiSE
Susanne Stahnke, Klym Shumaiev, Jorge Cuéllar, Prabhakaran Kasinathan
2020 — conf
Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry.
ICPEC
Tiago Gasiba, Ulrike Lechner, Jorge Cuéllar, Alae Zouitni
2019 J jnl
Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures.
IEEE Internet Things J.
Cristina Alcaraz, Mike Burmester, Jorge Cuéllar, Xinyi Huang, Panayiotis Kotzanikolaou, Mihalis Psarakis
2018 — conf
Securing Emergent IoT Applications.
SETSS
Prabhakaran Kasinathan, Jorge Cuéllar
2018 B conf
Securing the Integrity of Workflows in IoT.
EWSN
Prabhakaran Kasinathan, Jorge Cuéllar
2018 — conf
Workflow-Aware Security of Integrated Mobility Services.
ESORICS (2)
Prabhakaran Kasinathan, Jorge Cuéllar
2016 — book
Location Privacy in Wireless Sensor Networks.
Ruben Rios, Javier López, Jorge Cuéllar
2016 — conf
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?
SafeConfig@CCS
Nicholas J. Multari, Anoop Singhal, David O. Manz, Robert Cowles, Jorge Cuéllar, Christopher S. Oehmen, Gregory E. Shannon
2015 — conf
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs.
ESSoS
Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren
2015 J jnl
Probabilistic receiver-location privacy protection in wireless sensor networks.
Inf. Sci.
Ruben Rios, Jorge Cuéllar, Javier López
2014 J jnl
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture.
Sci. Comput. Program.
Barbora Buhnova, Antonio Vallecillo, Nenad Medvidovic, Magnus Larsson, Javier López, Jorge Cuéllar
2014 C conf
Preserving Receiver-Location Privacy in Wireless Sensor Networks.
ISPEC
Javier López, Ruben Rios, Jorge Cuéllar
2014 — ed.
Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
SmartGridSec
Jorge Cuéllar
2013 J jnl
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations.
Comput. Secur.
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2013 — conf
Location Privacy in WSNs: Solutions, Challenges, and Future Trends.
FOSAD
Ruben Rios, Javier López, Jorge Cuéllar
2013 — ed.
Smart Grid Security - First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
SmartGridSec
Jorge Cuéllar
2013 J jnl
Toward a Statistical Framework for Source Anonymity in Sensor Networks.
IEEE Trans. Mob. Comput.
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2012 Misc conf
Indistinguishable regions in geographic privacy.
SAC
Jorge Cuéllar, Martín Ochoa, Ruben Rios
2012 — conf
Non-interference on UML State-Charts.
TOOLS (50)
Martín Ochoa, Jan Jürjens, Jorge Cuéllar
2012 J jnl
Preface.
J. Comput. Secur.
Gilles Barthe, Jorge Cuéllar, Javier López, Alexander Pretschner
2012 — ed.
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
ISARCS
Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López
2012 — ed.
Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS 2012), Eindhoven, The Netherlands, February 15, 2012
ESSoS Doctoral Symposium
Jorge Cuéllar, Nora Koch
2012 A conf
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN.
ESORICS
Ruben Rios, Jorge Cuéllar, Javier López
2012 J jnl
Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification.
IEEE Trans. Parallel Distributed Syst.
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2012 A conf
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
TACAS
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ò
2011 Misc conf
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?
SEC
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2011 — ed.
Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
STM
Jorge Cuéllar, Gilles Barthe, Alexander Pretschner, Javier López
2010 A conf
Scalable RFID systems: a privacy-preserving protocol with constant-time identification.
DSN
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2010 B conf
Statistical Framework for Source Anonymity in Sensor Networks.
GLOBECOM
Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2008 B ed.
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
FM
Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere
2008 — conf
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
FMSE
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Llanos Tobarra
2007 B conf
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.
SAFECOMP
Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar
2007 J jnl
SoSyM Special Section on Software Engineering and Formal Methods.
Softw. Syst. Model.
Jorge Cuéllar, Zhiming Liu
2006 J jnl
Automated Reasoning for Security Protocol Analysis.
J. Autom. Reason.
Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
2006 C conf
Designing and Verifying Core Protocols for Location Privacy.
ISC
David von Oheimb, Jorge Cuéllar
2005 A* conf
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
CAV
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
2004 J jnl
Geopriv Requirements.
RFC
Jorge Cuéllar, John B. Morris, Deirdre K. Mulligan, Jon Peterson, James M. Polk
2000 J jnl
Foreword.
Sci. Comput. Program.
Jorge Cuéllar, Stefania Gnesi, Diego Latella
1998 A* conf
Formal Methods in an Industrial Environment.
CAV
Jorge Cuéllar
1998 J jnl
Software Engineering Education: Rôles of Formal Specification and Design Calculi.
Ann. Softw. Eng.
Dines Bjørner, Jorge Cuéllar
1996 A conf
Rapid Prototyping for an Assertional Specification language.
TACAS
Jorge Cuéllar, Dieter Barnard, Martin Huber
1995 B conf
Development of Safety-Critical Real-Time Systems.
SOFSEM
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
1995 — ch.
TLT.
Formal Development of Reactive Systems
Jorge Cuéllar, Martin Huber
1995 — conf
The Real-Time Behavior of the Steam Boiler.
Formal Methods for Industrial Applications
Jorge Cuéllar, Isolde Wildgruber
1995 — conf
The Steam-Boiler Problem - A TLT Solution.
Formal Methods for Industrial Applications
Jorge Cuéllar, Isolde Wildgruber
1994 — conf
A Solution Relying on the Model Checking of Boolean Transition Systems.
Formal Systems Specification
Jorge Cuéllar, Dieter Barnard, Martin Huber
1994 — conf
Combining the Design of Industrial Systems with Effective Verification Techniques.
FME
Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
1992 — conf
The Performance of an Expanded Storage System for High Volume Transaction Processing.
EUROSIM
Frank-Peter Sette, Othmar Klaassen, Jorge Cuéllar
1989 — conf
Lockperformance in Betriebssystemen.
MMB
Jorge Cuéllar, Edwin Schicker