Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pablo Giambiagi
On the Secure Implementation of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The TrustCoM Approach to Enforcing Agreements Between Interoperating Enterprises
Related publications
Survey on Security Issues and Secure Protocols for Manet
IOSR Journal of Computer Engineering
On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude
IPSJ Digital Courier
Higher-Order Glitches Free Implementation of the AES Using Secure Multi-Party Computation Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Security of Authenticated Group Key Agreement Protocols
Scalable Computing
Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Supporting Security Protocols on CAN-based Networks
Secure and Efficient Asynchronous Broadcast Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
