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
2 COMELEC - Département Communications & Electronique
Document type :
Reports
Complete list of metadatas
https://hal.telecom-paristech.fr/hal-02286285
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:34:25 PM
Last modification on : Tuesday, November 5, 2019 - 9:32:04 AM

Identifiers

  • HAL Id : hal-02286285, version 1

Collections

LTCI | LARA | PARISTECH | INSTITUT-TELECOM | COMELEC | LABSOC

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

5

Contact

CCSD