Publications by Pablo Giambiagi

In Journals

• On the Secure Implementation of Security Protocols
  With M. Dam. Special Issue: 12th European Symposium on Programming (ESOP 2003). Edited by P. Degano. Science of Computer Programming 50/1-3, pp. 73-99, Elsevier, 2004.

In Proceedings

• Toward Goal-Based Autonomic Networking
  With A. Berglund, B. Bjurling, R. Dantas, S. Engberg and B. Ohlman. 3rd International Workshop on Distributed Autonomous Network Management Systems (DANMS'08), November 2008.
• Contracts for Controlling Business Processes in Dynamic Environments
  With B. Bjurling. 1st International Workshop on Dynamic and Declarative Business Processes (DDBP 2008), September 2008.
• Secure Negotiation in Virtual Organizations
  With Sakyibea Darko-Ampem and Maria Katsoufi. Advances in Quality of Service Management (AQuSerM 2006), October 2006.
• Language-Based Support for Service Oriented Architectures: Future Directions
  With O. Owe, A. P. Ravn and G. Schneider. 1st International Conference on Software and Data Technologies (ICSOFT 2006), September 2006.
• Quality of Service Evaluation in Virtual Organizations Using SLAs
  With G. Boström and T. Olsson. 1st International Workshop on Interoperability Solutions to Trust, Security, Policies and QoS for Enhanced Enterprise Systems (IS-TSPQ 2006), March 2006.
• Memory Consumption Analysis of Java Smart Cards
  With G. Schneider. XXXI Latin American Informatics Conference (CLEI 2005), October 2005.
• Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures
  With A. Svirskas, M. D. Wilson, A. E. Arenas, E. C. Lupu, N. Tuptuk, D. Chadwick, T. Dimitrakos and B. Roberts.
  1st IEEE Workshop on Service Oriented Solutions for Cooperative Organizations (SOS4CO '05), July 2005.
• On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
  With G. Schneider and F. D. Valencia. Foundations of Software Science and Computation Structures (FOSSACS'04), March 2004. ©Springer-Verlag.
• A Note on Scope and Infinite Behaviour in CCS-like Calculi
  With G. Schneider and F. D. Valencia. 15th Nordic Workshop on Programming Theory (NWPT'03), October 2003.
• On the Secure Implementation of Security Protocols
  With M. Dam. European Symposium on Programming, ESOP'03, April 2003. ©Springer-Verlag.
• Implementations that Preserve Confidentiality
  With J. Cederquist. Short presentation at Logic in Computer Science 2000 (LICS'00), Santa Barbara, June 2000.
• Confidentiality for Mobile Code: The Case of a Simple Payment Protocol
  With M. Dam. Proceedings of the 13th IEEE Computer Security Foundations Workshop, July 2000. BibTeX reference.

Theses

• Secrecy for Mobile Implementations of Security Protocols
  Ph. Lic. Thesis, Royal Institute of Technology, Sweden, October 2001.
• Modeling a Robot Teleoperation System in DisCo
  Lic. Thesis, University of Buenos Aires, Argentina, 1997.

Technical Reports

• Contract-based Internet Service Software Development: A Proposal
  With O. Owe, A. P. Ravn and G. Schneider. Technical Report 333. Department of Informatics, University of Oslo, January 2006.
• On the Expressiveness of CCS-like Calculi
  With G. Schneider and F. D. Valencia. Technical Report 2004-002. Uppsala University, January 2004.
  Full-text version of the FOSSACS'04 paper.
• A Verilog Specification of STARI
  With G. Schneider. Technical Report, UNU/IIST, Macau, 1998.

Drafts

• On the Secure Implementation of Security Protocols
  With M. Dam. Full-text version of the ESOP'03 paper, January 2003.
• Assumption-Commitment Verification of STARI
  UNU/IIST, Macau, 1998.