Volume: Vol-3731 ITASEC 2024 | Year: 2024

Paper: « paper19 | paper20 | paper21 »

Hyperproperties for Safe and Secure RFID Systems

• Alessandro Aldini ORCID dblp Wikidata GND
• Ludovico Fusco dblp

PDF