Jorge Cuellar

发表

Process monitoring device and system for detecting a manipulation of a data stream

Jens-Uwe Busser, Jorge Cuellar, Michael Munzert, 2014 .

Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers

Jorge Cuellar, 2013 .

Method and system for detecting a manipulation of records

Jens-Uwe Busser, Jorge Cuellar, Michael Munzert, 2014 .

Use of a pair of public keys in the terminal apparatus auntentificacion and authorization of the subscriber to the telecommunications network operator and business partners.

Jorge Cuellar, Michael Marhoefer, 2001 .

Privacy in the Internet of Things

Jorge Cuellar, Santiago Reinhard Suppan, Jorge Cuéllar, 2016 .

Proceedings of the 3rd International ACMSigsoft Symposium on Architecting Critical Systems (ISARCS 2012)

Javier Lopez, Jorge Cuellar, 2012 .

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Yannick Chevalier, Laurent Vigneron, Luca Compagna, 2004 .

Apparatus and method for providing pseudonyms

Jorge Cuellar, Santiago Reinhard Suppan, 2015 .

FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Kaisa Sere, Jorge Cuellar, Tom Maibaum, 2008, FM.

A Privacy Engineering Framework for the Internet of Things

Antonio Kung, Adam Kapovits, Frank Kargl, 2017 .

Towards a Systematic Identification of Security Tests Based on Security Risk Analysis

Jorge Cuellar, Jan Stijohann, 2013 .

Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification

Basel Alomair, Radha Poovendran, Andrew Clark, 2012, IEEE Trans. Parallel Distributed Syst..

RISK 2014 Workshop Organizers Workshop Chairs

Peter Liggesmeyer, Bruno Legeard, Ruth Breu, 2014 .

Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems

Vincenzo Grassi, Raffaela Mirandola, Javier Lopez, 2012, CBSE 2012.

Apparatus and method for verifying a document content of an analog

Tiago Gasiba, Jorge Cuellar, 2014 .

Method and system for recovery and analysis of forensic data in a distributed computing infrastructure

Jens-Uwe Busser, Jorge Cuellar, Michael Munzert, 2014 .

Proceedings of the 6th international conference on Security and trust management

Alexander Pretschner, Gilles Barthe, Javier Lopez, 2010, IWSEC 2010.

Smart Grid Security

Jorge Cuellar, 2012, Lecture Notes in Computer Science.

Computing device and process for the recovery and safe storage of security data

Jens-Uwe Busser, Jorge Cuellar, Michael Munzert, 2014 .

Use of public-key key pair in the terminal for authentication and authorization-of telecommunications participant over the network operators and business partners

Jorge Cuellar, Michael Marhoefer, 2001 .

TLT: Distributed specification and verification with TLT a case study

Jorge Cuellar, Martin Huber, 1995 .

Secure Smart Contract Generation Based on Petri Nets

Jorge Cuellar, Prabhakaran Kasinathan, Nejc Zupan, 2020 .

On Source Anonymity in Wireless Sensor Networks

Basel Alomair, Radha Poovendran, Andy Clark, 2010 .

Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry

Tiago Gasiba, Jorge Cuellar, Ulrike Lechner, 2020, ICPEC.

Application of Poly(styrene-co-divinylbenzene) Macroporous Microparticles as a Catalyst Support in the Enzymatic Synthesis of Biodiesel

Jorge Cuellar, Raúl Rodrigo, J. Costa, 2016, Journal of Polymers and the Environment.

Fluid-solid mass transfer in magnetic filtration

Jorge Cuellar, A. Alvaro, 1995 .

Structure of the Hsp110:Hsc70 nucleotide exchange machine.

Borries Demeler, Jorge Cuellar, Oscar Llorca, 2008, Molecular cell.

Application of cluster analysis and optimization to determine the synthesis conditions of macroreticular poly(styrene-co-divinylbenzene) microparticles with enhanced structural and adsorption properties

Jorge Cuellar, C. García-Diego, J. Cuéllar, 2008 .