Marcos Vinicius M. Silva

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Homomorphic Encryption

Formal Verification

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Intell. Transp. Syst.

Publications

Eduardo Lopes Cominetti, Marcos Vinicius M. Silva, Marcos A. Simplício Jr., Harsh Kupwade Patil, Jefferson E. Ricardini
Faster verification of V2X basic safety messages via Message Chaining. Veh. Commun. 44 (2023)
Eduardo Lopes Cominetti, Marcos Vinicius M. Silva, Marcos A. Simplício Jr., Harsh Kupwade Patil, Jefferson E. Ricardini
Faster verification of V2X BSM messages via Message Chaining. IACR Cryptol. ePrint Arch. 2022 (2022)
Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Leonardo T. D. Ferraz, Marcos Vinicius M. Silva
Privacy-Preserving Certificate Linkage/Revocation in VANETs Without Linkage Authorities. IEEE Trans. Intell. Transp. Syst. 22 (6) (2021)
Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Marcos Vinicius M. Silva
Revocation in Vehicular Public Key Infrastructures: Balancing privacy and efficiency. Veh. Commun. 28 (2021)
Marcos Vinicius M. Silva, Marcos Antonio Simplicio Junior, Roberto Augusto Castellanos Pfeiffer, Julio Michael Stern
A Fair, Traceable, Auditable and Participatory Randomization Tool for Legal Systems. CoRR (2020)