Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Giambiagi, Pablo - School of Computer Science and Communication, Royal Institute of Technology (KTH)
International Institute for Software Technology
On the Expressiveness of CCSlike Calculi
Implementations that Preserve Confidentiality (Extended Abstract)
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol
Robot Teleoperation System Licentiate Thesis
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi ?
A Note on Scope and Infinite Behaviour in CCSlike Calculi Pablo Giambiagi 1 , Gerardo Schneider 2;3 , Frank D. Valencia 2;4
On the Secure Implementation of Security Protocols Pablo Giambiagi and Mads Dam
On the Secure Implementation of Security Protocols Pablo Giambiagi and Mads Dam
