Fabio Piva
Title
Cited by
Cited by
Year
Regarding timeliness in the context of fair exchange
FR Piva, JRM Monteiro, R Dahab
Network and Service Security, 2009. N2S'09. International Conference on, 1-6, 2009
132009
Strand spaces and fair exchange: More on how to trace attacks and security problems
FR Piva, JRM Monteiro, R Dahab
Anais do VII SBSeg, Simpósio Brasileiro em Segurança da Informação e de …, 2007
92007
E-commerce and fair exchange-The problem of item validation
F Piva, R Dahab
Security and Cryptography (SECRYPT), 2011 Proceedings of the International …, 2011
72011
E-commerce and fair exchange-The problem of item validation
F Piva, R Dahab
Security and Cryptography (SECRYPT), 2011 Proceedings of the International …, 2011
72011
E-commerce and fair exchange-The problem of item validation
F Piva, R Dahab
Security and Cryptography (SECRYPT), 2011 Proceedings of the International …, 2011
72011
Applying strand spaces to certified delivery proofs
FR Piva, JRM Monteiro, AJ Devegili, R Dahab
Anais do VI SBSeg, Simpósio Brasileiro em Segurança da Informaçao e de …, 2006
72006
E-commerce of digital items and the problem of item validation: introducing the concept of reversible degradation
F Piva, R Dahab
Applicable Algebra in Engineering, Communication and Computing 24 (3-4), 277-308, 2013
42013
Verificaçao formal de protocolos de trocas justas utilizando o método de espaços de fitas
FR Piva
Campinas, SP, 2009
42009
NFC-enabled decentralized checkout system
O Volpato Filho, F Piva
Brasil RFID, 2014 IEEE, 35-37, 2014
32014
Addressing human factors in the design of cryptographic solutions: a two-case study in item validation and authentication
F Piva, R Dahab
Ph. D. thesis, University of Campinas, Institute of Computing, Campinas, Brazil, 2014
22014
Modern fair exchange protocol design: Dealing with complex digital items
F Piva, R Dahab
XIII Simpósio Brasileiro em Segurança da Informaçao e de Sistemas …, 2013
22013
Verification of three authentication protocols using BAN, SVO and Strand Spaces
FR Piva, AJ Devegili, R Dahab
1*
METHOD FOR AUTHENTICATION OF MOBILE TRANSACTIONS USING VIDEO ENCRYPTION AND METHOD FOR VIDEO ENCRYPTION
FR Piva, V Testoni, FL Koch
US Patent 20,150,278,807, 2015
2015
METHOD FOR SECURE MOBILE PAYMENT AND RF TAG WITH INTEGRATED ANTI-THEFT DEVICE
FR Piva, OV Filho, FL Koch, SEDAA LTDA.
US Patent 20,150,242,842, 2015
2015
Using video scalability for designing safe multimedia transactions
F Piva, V Testoni
2015 28th SIBGRAPI Conference on Graphics, Patterns and Images, 142-148, 2015
2015
Using systematic error correcting codes for reversible degradation of multimedia content
F Piva, R Dahab
2012
Verificaçao Formal de Protocolos
FR Piva, R Dahab, A Devegili
2008
A comparison of BAN, SVO and Strand Spaces
FR Piva, AJ Devegili, R Dahab
Verificaç ao formal de protocolos criptográficos para trocas justas
FR Piva, R Dahab, AJ Devegili
55 Trocas justas de conteúdo multimıdia indes-critıvel
FR Piva, R Dahab
1 Tolerância a Falhas em Linhas de Produto de Software baseadas em Serviços …, 0
The system can't perform the operation now. Try again later.
Articles 1–20