Vicente Benjumea's Research Papers

• Vicente Benjumea's Official Page
• Vicente Benjumea's Personal Page

Security, Privacy and Anonymity in Distributed Systems

• V. Benjumea, J. Lopez, and J.M. Troya. Anonymity Analysis in Credentials-Based Systems: A Formal Framework. Computer Standards & Interfaces, 30(4):253-261. Elsevier. 2008.
  [Abstract] [Paper DOI] [Publisher] [BibTeX entry]
   
• V. Benjumea, S.G. Choi, J. Lopez, and M. Yung. Fair Traceable Multi-Group Signatures. In G. Tsudik, editor, FC'2008, 12th. International Conference on Financial Cryptography, volume 5143 of Lecture Notes in Computer Science, pages 231-246. Springer-Verlag, 2008.
  [Abstract] [Full Paper] [Paper DOI] [Publisher] [BibTeX entry] [Presentation Slides] [Software]
   
• V. Benjumea, S.G. Choi, J. Lopez, and M. Yung. Anonymity 2.0: X.509 Extensions Supporting Privacy-Friendly Authentication. In F. Bao, S. Ling, T. Okamoto, H. Wang, and C. Xing, editors, CANS'2007, 6th. International Conference on Cryptology and Network Security, volume 4856 of Lecture Notes in Computer Science, pages 265-281. Springer-Verlag, 2007.
  [Abstract] [Full Paper] [Paper DOI] [Publisher] [BibTeX entry] [Presentation Slides] [Software]
   
• V. Benjumea. Anonymous Credential Systems based on Signature Schemes and Standard Certification Infrastructures. PhD. thesis, Dpt. of Computer Science, E.T.S.I.Informatica, University of Malaga, Spain 2007.
  [Abstract] [BibTeX entry] [Software]
   
• V. Benjumea, J. Lopez, and J.M. Troya. Anonymous attribute certificates based on traceable signatures. Internet Research, 16(2):120-139. Emerald. 2006.
  [Abstract] [Paper DOI] [Publisher] [BibTeX entry]
   
• V. Benjumea, J. Lopez, and J.M. Troya. Specification of a framework for the anonymous use of privileges. Telematics and Informatics, 23(3):179-195. Elsevier. 2006.
  [Abstract] [Paper DOI] [Publisher] [BibTeX entry]
   
• V. Benjumea, J. Lopez, J.A. Montenegro, and J.M. Troya. A first approach to provide anonymity in attribute certificates. In F. Bao, R. H. Deng, and J. Zhou, editors, PKC'2004, 7th. International Workshop on Practice and Theory in Public Key Cryptography, volume 2947 of Lecture Notes in Computer Science, pages 402-415. Springer-Verlag, 2004.
  [Abstract] [Full Paper] [Paper DOI] [Publisher] [BibTeX entry]
   
• A. Maña, M.I. Yagüe, and V. Benjumea. EC-Gate: An infrastructure for DRM. CNIS'03: International Conference on Communication, Network and Information Security, New York, USA, 2003.
  [Abstract] [Full Paper] [BibTeX entry]
   

Parallel Execution in Logic Programming

• V. Benjumea and J.M. Troya. A static implementation of the Basic Andorra Model for distributed memory systems. In I. de Castro Dutra, M. Carro, V. S. Costa, G. Gupta, E. Pontelli, and F. Silva, editors, Parallelism and Implementation of Logic and Constraint Logic Programming, pages 179-197. Nova Science Publishers, Inc., New York, 1999.
  [Abstract] [Full Paper] [BibTeX entry]
   
• V. Benjumea and J.M. Troya. A static implementation of the Basic Andorra Model for distributed memory systems. In ICLP Post-Conference Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages, pages 57-71, Bonn, Germany, 1996.
   
• V. Benjumea, M. Roldan, and J.M. Troya. Implementation and evaluation of OR parallel Prolog models on distributed systems. Journal of Programming Languages, 2(2) pages 109-124, Chapman & Hall 1994.
  [Abstract] [Full Paper] [BibTeX entry]
   
• V. Benjumea and J.M. Troya. An OR parallel Prolog model for distributed memory systems. In M. Bruynooghe and J. Penjam, editors, PLILP'93, 5th International Symposium on Programming Language Implementation and Logic Programming, volume 714 of Lecture Notes in Computer Science, pages 291-301. Springer-Verlag, 1993.
  [Abstract] [Full Paper] [Paper DOI] [Publisher] [BibTeX entry]
   
• V. Benjumea, J.M. Troya, An OR-Parallel Prolog Model. First Compulog Net Workshop on Parallelism and Implementation Technologies, Madrid, Spain (1993).
   
• V. Benjumea, M. Roldan, and J.M. Troya. A Prolog interpreter for OR parallelism evaluation on distributed systems. In Euromicro Workshop on Parallel and Distributed Processing, pages 105-112. IEEE Computer Society Press, 1993.