Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks More Books Like This

Attacks and Defenses for the Internet-of-Things

Application and Theory of Petri Nets and Concurrency