Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jorge Cuéllar
Jorge Ricardo Cuellar
2010 – today
- 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. Computers & Security 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)
- 2012
- [j6]Gilles Barthe, Jorge Cuéllar, Javier Lopez, Alexander Pretschner: Preface. Journal of Computer Security 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 Distrib. Syst. 23(8): 1536-1550 (2012)
- [c21]Ruben Rios, Jorge Cuéllar, Javier Lopez: 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 (Eds.): 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
- 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, Javier Lopez, Gilles Barthe, Alexander Pretschner (Eds.): 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
- 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, M. 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 (Eds.): 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
- 2007
- [j4]Jorge Cuéllar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 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
- 2006
- [j3]Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 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
- 2000
- [j2]
1990 – 1999
- 1998
- [j1]Dines Bjørner, Jorge Cuéllar: Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng. 6: 365-409 (1998)
- [c10]
- 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]
- [c5]Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber: Development of Safety-Critical Real-Time Systems. SOFSEM 1995: 206-235
- 1994
- [c4]Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251
- [c3]Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard: Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658
- 1993
- [c2]
1980 – 1989
- 1989
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-28 21:01 CET by the dblp team