Memory consumption analysis of Java smart cards (2009)
Pablo Giambiagi, Gerardo Schneider
Memory is a scarce resource in Java smart cards. Developers and card suppliers alike would want to make sure, at compile- or load-time, that a Java Card applet will not overflow memory when...
Towards goal-based autonomic networking (2009)
Berglund, Åsa, Bjurling, Björn, Dantas, Ramide, Engberg, Susanne, Giambiagi, Pablo, Ohlman, Börje
The ability to quickly deploy and efficiently manage services is critical to the telecommunications industry. Currently, services are designed and managed by different teams with expertise over a...
Adomas Svirskas, Michael D. Wilson, Alvaro E. Arenas, Emil C. Lupu, Nilufer Tuptuk, David Chadwick, ...
Virtual Enterprises or Organisations (VO) have been the focus of research for over a decade 1. Although proprietary implementations of VO management tools exist, secure tools based on interoperating...
Memory consumption analysis of Java smart cards (2008)
Pablo Giambiagi, Gerardo Schneider
Memory is a scarce resource in Java smart cards. Developers and card suppliers alike would want to make sure, at compile- or load-time, that a Java Card applet will not overflow memory when...
A Verilog Specification of STARI (2007)
Pablo Giambiagi, Pablo Giambiagi, Gerardo Schneider, Gerardo Schneider
UNU/IIST is a Research and Training Center of the United Nations University. It was founded in 1992,
A Verilog Specification of STARI (2007)
Pablo Giambiagi, Pablo Giambiagi, Gerardo Schneider, Gerardo Schneider
UNU/IIST is a Research and Training Center of the United Nations University. It was founded in 1992,
A Note on Scope and Infinite Behaviour in CCS-like Calculi (2007)
Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
The study of concurrency is often conducted with the aid of process calculi. These calculi treat processes much like the λ-calculus treats computable functions. They provide a language in...
Secure Negotiation in Virtual Organizations (2006)
Darko-Ampem, Sakyibea, Katsoufi, Maria, Giambiagi, Pablo
Virtual organizations are dynamic associations of business partners that join forces to achieve a common goal. Because partners live in very competitive environments and they do not fully trust each...
Language-Based Support for Service Oriented Architectures: Future Directions (2006)
Giambiagi, Pablo, Owe, Olaf, Ravn, Anders P., Schneider, Gerardo
The fast evolution of the Internet has popularized service-oriented architectures (SOA) with their promise of dynamic IT-supported inter-business collaborations. Yet this popularity does not reflect...
The TrustCoM approach to enforcing agreements between interoperating enterprises (2006)
Wilson, Michael D., Chadwick, David, Dimitrakos, Theo, Döser, Jürgen, Giambiagi, Pablo, Golby, David, ...
Quality of Service Evaluation in Virtual Organizations Using SLAs (2006)
Boström, Gustav, Giambiagi, Pablo, Olsson, Tomas
Cooperating in Virtual organizations requires trust between the constituting organizations. SLA contracts are put in place in order to specify the quality of service of services offered. For these...
Language-based support for service oriented architectures: Future directions (2006)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
Abstract: The popularity of service-oriented architectures (SOA) lives on the promise of dynamic IT-supported interbusiness collaborations. Yet the programming models in use today are a poor match...
Memory Consumption Analysis of Java Smart Cards (2005)
Giambiagi, Pablo, Schneider, Gerardo
Memory is a scarce resource in Java smart cards. Developers and card suppliers alike would want to make sure, at compile- or load-time, that a Java Card applet will not overflow memory when...
Svirskas, Adomas, Wilson, Michael D., Arenas, Alvaro E., Lupu, Emil C., Giambiagi, Pablo, Tuptuk, Nilufer, ...
On the expressiveness of infinite behavior and name scoping in process calculi (2004)
Giambiagi, Pablo, Schneider, Gerardo, Valencia, Frank D.
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper we study...
On the expressiveness of infinite behavior and name scoping in process calculi (2004)
Pablo Giambiagi, Gerardo Schneider
Abstract. In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper...
On the expressiveness of infinite behavior and name scoping in process calculi (2004)
Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
Abstract. In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In this paper...
On the Secure Implementation of Security Protocols (2003)
Abstract. We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the context of an...
Secrecy for mobile implementations of security protocols (2001)
Mobile code technology offers interesting possibilities tothe practitioner, but also raises strong concerns aboutsecurity. One aspect of security is secrecy, the preservationof confidential...
Secrecy for mobile implementations of security protocols (2001)
Mobile code technology offers interesting possibilities tothe practitioner, but also raises strong concerns aboutsecurity. One aspect of security is secrecy, the preservationof confidential...
Secrecy for Mobile Implementations of Security Protocols (2001)
Mobile code technology offers interesting possibilities to the practitioner, but also raises strong concerns about security. One aspect of security is secrecy, the preservation of confidential...
Secrecy for mobile implementations of security protocols (2001)
Mobile code technology offers interesting possibilities to the practitioner, but also raises strong concerns about security. One aspect of security is secrecy, the preservation of confidential...
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol (2000)
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential information onto a...