Follow
Jorge Cuellar
Jorge Cuellar
Uni Passau, Univ de los Andes (Bogota)
Verified email at gw.uni-passau.de
Title
Cited by
Cited by
Year
The AVISPA tool for the automated validation of internet security protocols and applications
A Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...
International conference on computer aided verification, 281-285, 2005
13982005
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, J Cuellar, L Tobarra
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
3692008
A high level protocol specification language for industrial security-sensitive protocols
Y Chevalier, L Compagna, J Cuellar, PH Drielsma, J Mantovani, ...
Workshop on Specification and Automated Processing of Security Requirements …, 2004
1992004
Common policy: a document format for expressing privacy preferences
H Schulzrinne, H Tschofenig, J Morris, J Cuellar, J Polk, J Rosenberg
1612007
Geopriv requirements
J Cuellar, J Morris, D Mulligan, J Peterson, J Polk
1492004
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...
International Conference on Tools and Algorithms for the Construction and …, 2012
1312012
J. Polk,"
J Cuellar, J Morris, D Mulligan, J Peterson
Geopriv Requirements", RFC 3693, 2004
1202004
Scalable RFID systems: a privacy-preserving protocol with constant-time identification
B Alomair, A Clark, J Cuellar, R Poovendran
IEEE Transactions on Parallel and Distributed Systems 23 (8), 1536-1550, 2011
1132011
Toward a statistical framework for source anonymity in sensor networks
B Alomair, A Clark, J Cuellar, R Poovendran
IEEE Transactions on Mobile Computing 12 (2), 248-260, 2011
952011
An authentication flaw in browser-based single sign-on protocols: Impact and remediations
A Armando, R Carbone, L Compagna, J Cuéllar, G Pellegrino, A Sorniotti
Computers & Security 33, 41-58, 2013
892013
Method and system for verifying the authenticity of a first communication participants in a communications network
J Cuellar, G Horn
US Patent 6,980,796, 2005
612005
Avispa: automated validation of internet security protocols and applications
A Armando, D Basin, J Cuellar, M Rusinowitch, L Viganò
ERCIM News 64 (January), 2006
572006
Statistical framework for source anonymity in sensor networks
B Alomair, A Clark, J Cuellar, R Poovendran
2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 1-6, 2010
542010
Method and system for veryfying the authenticity of a first communication participants in a communications network
J Cuellar, G Horn
US Patent 8,565,429, 2013
522013
Method and system for verifying the authenticity of a first communication participants in a communications network
J Cuellar, G Horn
US Patent 7,139,550, 2006
522006
Use of a public key key pair in the terminal for authentication and authorization of the telecommunication user with the network operator and business partners
J Cuellar, M Marhöfer
US Patent 9,088,565, 2015
492015
Probabilistic receiver-location privacy protection in wireless sensor networks
R Rios, J Cuellar, J Lopez
Information Sciences 321, 205-223, 2015
472015
Electronic distribution of airplane software and the impact of information security on airplane safety
R Robinson, M Li, S Lintelman, K Sampigethaya, R Poovendran, ...
International Conference on Computer Safety, Reliability, and Security, 28-39, 2007
452007
From multiple credentials to browser-based single sign-on: Are we more secure?
A Armando, R Carbone, L Compagna, J Cuellar, G Pellegrino, A Sorniotti
IFIP International Information Security Conference, 68-79, 2011
432011
A document format for expressing privacy preferences
H Schulzrinne, H Tschofenig, J Morris, J Cuellar, J Polk, J Rosenberg
draft-ietf-geopriv-common-policy-04 (work in progress), 2005
402005
The system can't perform the operation now. Try again later.
Articles 1–20