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, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 1639 | 2005 |
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 | 405 | 2008 |
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 | 217 | 2004 |
Geopriv requirements J Cuellar, J Morris, D Mulligan, J Peterson, J Polk | 149 | 2004 |
Common policy: a document format for expressing privacy preferences H Schulzrinne, H Tschofenig, J Morris, J Cuellar, J Polk, J Rosenberg | 147 | 2007 |
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, ... Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 144 | 2012 |
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 | 121 | 2011 |
J. Polk," J Cuellar, J Morris, D Mulligan, J Peterson Geopriv Requirements", RFC 3693, 2004 | 120 | 2004 |
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 | 103 | 2011 |
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 | 100 | 2013 |
Avispa: automated validation of internet security protocols and applications A Armando, D Basin, J Cuellar, M Rusinowitch, L Viganò ERCIM News 64 (January), 66-69, 2006 | 86 | 2006 |
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 | 62 | 2005 |
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 | 56 | 2010 |
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 | 54 | 2015 |
Secure smart contract generation based on petri nets N Zupan, P Kasinathan, J Cuellar, M Sauer Blockchain Technology for Industry 4.0: Secure, Decentralized, Distributed …, 2020 | 53 | 2020 |
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 | 53 | 2013 |
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 | 52 | 2006 |
Probabilistic receiver-location privacy protection in wireless sensor networks R Rios, J Cuellar, J Lopez Information Sciences 321, 205-223, 2015 | 50 | 2015 |
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 | 45 | 2011 |
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 | 45 | 2007 |