Jorge Cuéllar

Most-cited papers

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
A. Armando, David A. Basin, Yohan Boichut, Yannick Chevalier +13 more
2005International Conference on Computer Aided Verification1,469 citations Open access
Semantic Scholar
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +1 more
2008Formal Methods in Security Engineering305 citations Open access
Semantic Scholar
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Yannick Chevalier, L. Compagna, Jorge Cuéllar, P. Drielsma +3 more
2004177 citations
Semantic Scholar
Geopriv Requirements
Jorge Cuéllar, J. Morris, D. Mulligan, J. Peterson +1 more
2004Request for Comments117 citations Open access
Semantic Scholar
Common Policy: A Document Format for Expressing Privacy Preferences
H. Schulzrinne, H. Tschofenig, J. Morris, Jorge Cuéllar +2 more
2007Request for Comments93 citations
Semantic Scholar
Toward a Statistical Framework for Source Anonymity in Sensor Networks
Basel Alomair, Andrew Clark, Jorge Cuéllar, R. Poovendran
2013IEEE Transactions on Mobile Computing80 citations
Semantic Scholar
Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification
Basel Alomair, Andrew Clark, Jorge Cuéllar, R. Poovendran
2010IEEE Transactions on Parallel and Distributed Systems74 citations
Semantic Scholar
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +2 more
2013Computers & security72 citations
Semantic Scholar
Statistical Framework for Source Anonymity in Sensor Networks
Basel Alomair, Andrew Clark, Jorge Cuéllar, R. Poovendran
20102010 IEEE Global Telecommunications Conference GLOBECOM 201055 citations
Semantic Scholar
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
Richard Robinson, Mingyan Li, S. Lintelman, K. Sampigethaya +4 more
2007International Conference on Computer Safety, Reliability, and Security42 citations Open access
Semantic Scholar
Privacy in the Internet of Things
S. Suppan, Jorge Cuéllar
201635 citations
Semantic Scholar
Secure Smart Contract Generation Based on Petri Nets
N. Zupan, Prabhakaran Kasinathan, Jorge Cuéllar, Markus Sauer
202034 citations
Semantic Scholar
Probabilistic receiver-location privacy protection in wireless sensor networks
Ruben Rios, Jorge Cuéllar, Javier López
2015Information Sciences34 citations
Semantic Scholar
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +2 more
2011IFIP International Information Security Conference33 citations Open access
Semantic Scholar
Smart Grid Security
Jorge Cuéllar
2012Lecture Notes in Computer Science31 citations
Semantic Scholar
A Privacy Engineering Framework for the Internet of Things
A. Kung, Frank Kargl, S. Suppan, Jorge Cuéllar +4 more
201722 citations
Semantic Scholar
On Source Anonymity in Wireless Sensor Networks
Basel Alomair, Andrew Clark, Jorge Cuéllar, R. Poovendran
201020 citations
Semantic Scholar
Combining the Design of Industrial Systems with Effective Verification Techniques
Jorge Cuéllar, Isolde Wildgruber, D. Barnard
1994FME17 citations
Semantic Scholar
Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry
T. Gasiba, U. Lechner, Jorge Cuéllar, A. Zouitni
2020International Computer Programming Education Conference13 citations
Semantic Scholar
Location Privacy in Wireless Sensor Networks
Ruben Rios, Javier López, Jorge Cuéllar
201613 citations
Semantic Scholar
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN
Ruben Rios, Jorge Cuéllar, Javier López
2012European Symposium on Research in Computer Security13 citations Open access
Semantic Scholar
Indistinguishable regions in geographic privacy
Jorge Cuéllar, Martín Ochoa, Ruben Rios
2012ACM Symposium on Applied Computing12 citations
Semantic Scholar
Location Information Privacy
Jorge Cuéllar
200212 citations
Semantic Scholar
Automated Reasoning for Security Protocol Analysis
A. Armando, David A. Basin, Jorge Cuéllar, M. Rusinowitch +1 more
2005Journal of automated reasoning11 citations
Semantic Scholar
Software engineering education: Rôles of formal specification and design calculi
D. Bjørner, Jorge Cuéllar
1999Annals of Software Engineering11 citations
Semantic Scholar
Securing the Integrity of Workflows in IoT
Prabhakaran Kasinathan, Jorge Cuéllar
2018European Conference/Workshop on Wireless Sensor Networks9 citations
Semantic Scholar
Location Privacy in WSNs: Solutions, Challenges, and Future Trends
Ruben Rios, Javier López, Jorge Cuéllar
2013Foundations of Security Analysis and Design9 citations
Semantic Scholar
A Solution Relying on the Model Checking of Boolean Transition Systems
Jorge Cuéllar, D. Barnard, M. Huber
1994Formal Systems Specification9 citations
Semantic Scholar
Non-interference on UML State-Charts
Martín Ochoa, J. Jürjens, Jorge Cuéllar
2012International Conference on Software Technology: Methods and Tools8 citations
Semantic Scholar
Securing Emergent IoT Applications
Prabhakaran Kasinathan, Jorge Cuéllar
2018International School on Engineering Trustworthy Software Systems7 citations
Semantic Scholar
Exemplary Formalization of Secure Coding Guidelines
Markus Aderhold, Jorge Cuéllar, H. Mantel, Henning Sudbrock
20107 citations
Semantic Scholar
Development of Safety-Critical Real-Time Systems
H. Rischel, Jorge Cuéllar, Simon Mørk, A. Ravn +1 more
1995Conference on Current Trends in Theory and Practice of Informatics7 citations
Semantic Scholar
The Steam-Boiler Problem - A TLT Solution
Jorge Cuéllar, Isolde Wildgruber
1995Formal Methods for Industrial Applications7 citations
Semantic Scholar
Workflow-Aware Security of Integrated Mobility Services
Prabhakaran Kasinathan, Jorge Cuéllar
2018European Symposium on Research in Computer Security6 citations
Semantic Scholar
Formal Methods in an Industrial Environment
Jorge Cuéllar
1998International Conference on Computer Aided Verification6 citations Open access
Semantic Scholar
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs
Martín Ochoa, Jorge Cuéllar, A. Pretschner, Per A. Hallgren
2015Engineering Secure Software and Systems5 citations
Semantic Scholar
Enforcing a Cross-Organizational Workflow: An Experience Report
Susanne Stahnke, Klym Shumaiev, Jorge Cuéllar, Prabhakaran Kasinathan
2020BPMDS/EMMSAD@CAiSE4 citations
Semantic Scholar
Designing and Verifying Core Protocols for Location Privacy
David von Oheimb, Jorge Cuéllar
2006Information Security Conference4 citations
Semantic Scholar
Information Security and Privacy - Challenges and Outlook
S. Furnell, P. Dowland, Manish Agrawal, R. Baskerville +22 more
2021IFIP's Exciting First 60+ Years3 citations Open access
Semantic Scholar
Preserving Receiver-Location Privacy in Wireless Sensor Networks
Javier López, Ruben Rios, Jorge Cuéllar
2014Information Security Practice and Experience3 citations
Semantic Scholar
Rapid Prototyping for an Assertional Specification language
Jorge Cuéllar, D. Barnard, M. Huber
1996International Conference on Tools and Algorithms for Construction and Analysis of Systems3 citations Open access
Semantic Scholar
Privacy-Enhanced-Tokens (PAT) profile for ACE
Jorge Cuéllar, Daniel Calvo, Prabhakaran Kasinathan
20182 citations
Semantic Scholar
The Real-Time Behavior of the Steam Boiler
Jorge Cuéllar, Isolde Wildgruber
1995Formal Methods for Industrial Applications2 citations
Semantic Scholar
Tlt
Jorge Cuéllar, M. Huber
1995Formal Development of Reactive Systems2 citations
Semantic Scholar
Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures
Cristina Alcaraz, M. Burmester, Jorge Cuéllar, Xin-Yi Huang +2 more
2019IEEE Internet Things J.1 citations Open access
Semantic Scholar
SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?
Nicholas J. Multari, A. Singhal, David O. Manz, Robert Cowles +3 more
2016SafeConfig@CCS1 citations
Semantic Scholar
Smart grid security : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014 : revised selected papers
SmartGridSec, Jorge Cuéllar
20141 citations
Semantic Scholar
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture
B. Buhnova, Antonio Vallecillo, Nenad Medvidović, M. Larsson +2 more
2014Science of Computer Programming1 citations Open access
Semantic Scholar
Proceedings of the 15th international symposium on Formal Methods
Jorge Cuéllar, T. Maibaum, K. Sere
2008World Congress on Formal Methods1 citations
Semantic Scholar
Apparatus and method for providing pseudonyms
Jorge Cuéllar, S. Suppan
20150 citations
Semantic Scholar