Skip to Main content Skip to Navigation
Reports

Architecture and Protocol Verification and Attack Analysis, Deliverable D3.4.1

Andreas Fuchs Sigi Gurgens Rieke Roland Ludovic Apvrille 1, 2 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Reports
Complete list of metadata

https://hal.telecom-paris.fr/hal-02286285
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 3:34:25 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM

Identifiers

  • HAL Id : hal-02286285, version 1

Citation

Andreas Fuchs, Sigi Gurgens, Rieke Roland, Ludovic Apvrille. Architecture and Protocol Verification and Attack Analysis, Deliverable D3.4.1. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286285⟩

Share

Metrics

Record views

30