Carmine Ventre, PhD

Currently, I am at the Computer Science Department of the University of Liverpool, doing research within EcCo research group. See my homepage there.

Important: I feel amashed to be (as Italian citizen) complice of this shame.

Program Committees: SOFSEM 2009 (Special Track on Game Theoretic Aspects of E-Commerce), SAGT 2009.

Organization Committees: DYNAMO 2007, AESS 2007.

Amusing: nice story told (in Italian) by Andrea Bocelli (mp3).

Interests

• Algorithmic Game Theory, Micro Economics and the Internet
• Algorithms and Complexity
• Cryptography
• Algorithms for Wireless Networks

Papers

• C.Ventre. "Oblivious transfer per la generazione disribuita di chiavi RSA: protocolli ed implementazione in OpenSSL."
  Tesi di laurea (in italian), 2003. (pdf)
• P. Penna and C. Ventre. "Sharing the cost of multicast transmissions in wireless networks."
  In  Proc. of the 11th Colloquium on Structural Information and Communication (SIROCCO 2004), LNCS 3104, pp. 255-266, 2004.
  Also available as Technical Report of the University of Salerno, 2003. (ps)
• P. Penna and C. Ventre. "Energy-efficient broadcasting in ad-hoc networks: combining MSTs with shortest-path trees."
  In the Proc. of the ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN 2004), ACM, pp. 61-68, 2004.
  Also available as Technical Report of the University of Salerno, 2003. (ps)
• P. Ambrosio and C. Ventre. "Congestion and Potential Games."
  Survey within the GI-Seminar "Game theoretic analyses of the Internet", 2004. (ps)
  To appear as chapter of a forthcoming book.
• P. Penna and C. Ventre. "More Powerful and Simpler Cost-Sharing Methods (when cross monotonicity is the wrong way)."
  In the Proc. of the 2nd Workshop on Approximation and Online Algorithms (WAOA 2004), LNCS 3351, pp. 97-110, 2005.
  Also available as Technical Report of the European Project CRESCCO, 2004. (ps)
• P. Penna and C. Ventre. "Free-riders in Steiner tree cost-sharing games."
  In Proc. of the 12th Colloquium on Structural Information and Communication (SIROCCO 2005). LNCS 3499, pp. 231-245, 2005.
  Also available as Technical Report of the European Project CRESCCO, 2005. (ps)
• A. Ferrante, G. Parlato, F. Sorrentino and C. Ventre. "Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents."
  In Proc. of the 3rd Workshop on Approximation and Online Algorithms (WAOA 2005). LNCS 3879, pp. 147-160, 2006.
  Also available as Technical Report, 2005 (full version below recommended). (ps)
  
• A. Ferrante, G. Parlato, F. Sorrentino and C. Ventre. "Fast Payment Schemes for Truthful Mechanisms with Verification"
  Theoretical Computer Science 410(8-10): 886-899 (2009). (ps preprint)
• P. Penna and C. Ventre. "Some New Ideas for Critical Resource Sharing Involving Selfish Agents."
  Manuscript, 2005. (ps)
• P. Penna and C.Ventre. "The Algorithmic Structure of Group Strategyproof Budget-Balanced Cost-Sharing Mechanisms."
  In the Proc. of the 23rd International Symposium on Theoretical Aspects of Computer Science (STACS 2006). LNCS 3884, pp. 337-348, 2006.
  Full version available as Technical Report, 2005. (ps)
• V. Auletta, R. De Prisco, P. Penna, G. Persiano and C.Ventre. "New Constructions of Mechanisms with Verification."
  In the Proc. of the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006). LNCS 4051, pp. 596-607, 2006.
  Full version available as Technical Report, 2005. (pdf)
• C. Ventre. "Mechanisms with Verification for Any Finite Domain."
  In the Proc. of the 2nd international Workshop on Internet & Network Economics (WINE 2006), 2006. LNCS 4286, pp. 37-49, 2006.
  Full version available as Technical Report, 2006.(pdf)
• C. Ventre. "Algorithms for Incentive-Based Computing."
  PhD Thesis, 2007. (pdf)
• C. Ventre and I. Visconti. "Completely Non-Malleable Encryption Revisited."
  In the Proc. of the 11th International Workshop on Practice and Theory in Public Key Cryptography (PKC 2008), 2008. LNCS 4939, pp. 65–84, 2008.
• V. Auletta, P. Penna, G. Persiano and C. Ventre. "Alternatives to Truthfulness are Hard to Recognize."
  In the Proc. of the First International Symposium on Algorithmic Game Theory (SAGT 2008), 2008. LNCS 4997, pp. 194-205, 2008.
• P. Penna and C. Ventre. "Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions."
  In the Proc. of the 16th European Symposium on Algorithms (ESA 2008), 2008. LNCS 5193, pp. 708-719, 2008.
• P. Penna and C. Ventre. "Optimal Collusion-Resistant Mechanisms with Verification."
  In the Proceedings of the 10th ACM Conference on Electronic Commerce (EC'09), pp. 147-156. 2009.
• C. Ventre and I. Visconti. "Co-Sound Zero-Knowledge with Public Keys."
  In the Proceedings of the 2nd African International Conference on Cryptology (AfricaCrypt 2009). LNCS 5580, pp. 287-304. 2009.
• P. Briest, M. Hoefer, L. Gualà and C. Ventre. "On Stackelberg Pricing with Computationally Bounded Consumers."
  In the Proceedings of the fifth international Workshop on Internet & Network Economics (WINE 2009). LNCS 5929, pp. 42-54. 2009.
• F. Grandoni, P. Krysta, S. Leonardi and C. Ventre. "Utilitarian Mechanism Design for Multi-Objective Optimization."
  In the Proceedings of SODA10, pp. 573-584, 2010. (pdf)
• L. Goldberg, P. Goldberg, P. Krysta and C. Ventre. "Ranking Games that have Competitiveness-based Strategies."
  Accepted for publication in the Proceedings of the 10th ACM Conference on Electronic Commerce (EC'10).

Talks

• "Sharing the cost of multicast transmission in wireless networks" in the 2nd CRESCCO Workshop. Athens (Greece). December 6-8, 2003. (ppt)
• "Sharing the cost of multicast transmission in wireless networks" in SIROCCO 2004. Smonelice Castle (Slovak Republic). June 21-23, 2004. (ppt)
• "An introduction to Congestion and Crowding games" in GI-Seminar "Game theoretic analyses of the Internet". Dagstuhl Schoss (Germany). September 1, 2004. (ppt) (pdf)
• "More Powerful and Simpler Cost-Sharing Methods" in ALGO 2004. Bergen (Norway). September 15, 2004. (ppt)
• "Energy-efficient broadcasting in ad-hoc networks: combining MSTs with shortest-path trees" in PE-WASUN 2004. Venice. October 7, 2004. (ppt)
• "Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents" in ALGO 2005. Palma de Mallorca (Spain). October 7, 2005. (ppt)
• "The Algorithmic Structure of Group Strategyproof Budget-Balanced Cost-Sharing Mechanisms" in STACS 2006. Marseille (France). February 24, 2006. (ppt)
  Same talk has been given as welcome talk in Distributed Computing Group (DCG) in ETH, Zurich. March 7, 2006.
• "New Results on PA/CCA Encryption" in ECRYPT Autumn International School on Zero Knowledge: Foundations and Applications. Bertinoro (Italy). November 1, 2006. (Disclaimer: this is an informal talk for an, at the time, ongoing research.)(ppt)
• "Algorithms for Selfish Agents" (abstract) at Computer Science Division of Physics Department of Università "Federico II", Napoli. Invited and hosted by Clemente Galdi. November 27, 2006. (ppt)
• "Mechanisms with Verification for Any Finite Domain" in WINE 2006. Patras (Greece). December 15, 2006. (ppt)
• "Algorithms for Incentive-Based Computing." PhD Defense Talk. Salerno. April 11, 2007. (ppt)
• "(Optimal) Collusion-Resistant Mechanisms with Verification" in DYNAMO 2007. Salerno. May 7, 2007. (ppt)
• "Mechanisms with Verification" in CTAG Seminars. Liverpool. January 31, 2008. (ppt)
• "Alternatives to Truthfulness are Hard to Recognize" in SAGT 2008. Paderborn (Germany). May 1, 2008. (ppt)
Same talk has been given in COMSOC-2008. Liverpool. September 5, 2008.
• "Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions" in ESA 2008. Karlsruhe (Germany). September 17, 2008. (pptx)
  An extended talk has been given in CTAG Seminars. Liverpool. October 16, 2008. (pptx)
• "Optimal Collusion-Resistant Mechanisms with Verification" in ACM EC 2009. Stanford. July 9, 2009. (pptx)
• "Utilitarian Mechanism Design for Multi-Objective Optimization" in SODA10. Austin (Texas). January 18, 2010. (pptx)

Awards

• Best Master Student Award from Science faculty within the 30th anniversary of its foundation. Università di Salerno. October 2002. (Click here for a press article.)

Attended events

• PhD course "Computational Game Theory and Mechanism Design." Università di Roma "La Sapienza." October/November 2003.
• PhD course " Algorithms for selfish agents." Università di Salerno. 2003.
• 1st AGATE seminar. Bertinoro (Italy). July 2004.
• PhD course "Quantum computing" held by Prof. Jozef Gruska. Università di Salerno. June 2004.
• PhD course "Semantic Analisys", held by Prof. Roberto Gorrieri. Università di Salerno. May 2004.
• PhD course "Pattern Recognition" held by Prof. Roberto Tagliaferri and Prof. Giuseppe Raiconi. Università di Salerno. 2004.
• PhD course "John Searle and the Chinese Room" held by Prof. David Anderson. Università di Salerno. 2004.
• PhD course "Data warehousing" held by Prof. Janet Delve. Università di Salerno. 2004.
• 3rd CRESCCO Workshop. Rome. October 16, 2004.
• BISS 2005. Bertinoro (Italy). March 2005.
• PhD course "Introduction to the Wonderful World of Computational Complexity" held by Prof. Pino Persiano. Università di Salerno. May 2005.
• PhD course "Fuzzy system and Image Analysis." held by Prof. Vito Di Gesù. Università di Salerno. May 2005.
• SMI Summer School "PCP Theorem" held by Prof. Madhu Sudan, Prof. Luca Trevisan and Prof. Alessandro Panconesi. Cortona (Italy). July 2005.
• BICI-INDAM 2005 "International PhD School on Mathematical Aspects of Modern Cryptography." Bertinoro (Italy). September 2005.
• PhD course "Game Theory." held by Prof. Luca de Alfaro and by Marco Faella and Nello Murano. Università di Salerno. April 2006.
• "Combstru School on Computational Complexity." Bertinoro (Italy). May 2006.
• "Summer School on Game Theory in Computer Science." Aarhus Universitet (Denmark). June 2006. (Poster I presented at the school available here.)
• PhD course "Probabilistic Methods." held by Prof. Antonio Di Crescenzo. Università di Salerno. June 2006.
• ECRYPT Autumn International School on Zero Knowledge: Foundations and Applications. Bertinoro (Italy). October 28 - November 3, 2006.
• AEOLUS School on Algorithmic Game Theory. Patras (Greece). December 2006.
• AEOLUS Workshop on Scheduling. Nice (France). 8-9 March, 2007.
• Events attended as speaker.

Some project

• GeTThings (in Italian): a P2P software (with two my friends Domini Angelo and Listo Massimiliano) [2001]
• FWCS: a java application for the football world cup story (in collaboration with Domini Angelo and Listo Massimiliano) [2002]
• The applet used for calculating data showed in the work "Energy-efficient broadcasting in ad-hoc networks: combining MSTs with shortest-path trees" [2003] (the code can be downloaded here). You can find more details here.

Contact information

Carmine Ventre
Dipartimento di Informatica ed Applicazioni "Renato M. Capocelli"
Università di Salerno
Via Ponte Don Melillo
I-84084 Fisciano (SA) - Italy
e-mail: ventre at dia.unisa.it
e-mail2: carmine.ventre at gmail.com
MSN contact: ventre at jumpy.it
tel: +39-089-969303
fax: +39-089-969600