Piva, Fabio, José R. M. Monteiro, Augusto J. Devegili, and Ricardo Dahab.
" Applying Strand Spaces to Certified Delivery Proofs." <em>Proceedings of the 6th Brazilian Symposium on Information and Computational Systems Security,
Santos, 2006</em>. SBC, 2006,  
pp.72-85.