Login / Signup
Faster verification of V2X BSM messages via Message Chaining.
Eduardo Lopes Cominetti
Marcos Vinicius M. Silva
Marcos A. Simplício Jr.
Harsh Kupwade Patil
Jefferson E. Ricardini
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
email
message delivery
messages exchanged
email messages
communication channels
model checking
case study
spam filtering
formal verification
electronic mail
database systems
face verification
memory efficient
short messages
genetic algorithm