cvb.acronym: FAVPQC 2022
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3280.zip
cvb.ceurpubdate: '2022-11-20'
cvb.city: Madrid
cvb.cityWikidataId: Q2807
cvb.colocated: ICFEM 2022
cvb.country: Spain
cvb.countryWikidataId: Q29
cvb.dateFrom: '2022-10-24'
cvb.dateTo: '2022-10-24'
cvb.desc: '?'
cvb.editors: Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani
cvb.fromLine: 7306
cvb.h1: FAVPQC 2022 Formal Analysis and Verification of Post-Quantum Cryptographic
  Protocols 2022
cvb.h3: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference
  on Formal Engineering Methods (ICFEM 2022)
cvb.homepage: https://favpqc2022.gitlab.io
cvb.loc_city: Madrid
cvb.loc_country: Spain
cvb.loc_days: '24'
cvb.loc_locs: null
cvb.loc_month: October
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Madrid, Spain, October 24, 2022
cvb.number: 3280
cvb.pubDate: '2022-11-20T00:00:00'
cvb.published: '2022-11-20'
cvb.seealso: ''
cvb.submittedBy: Kazuhiro Ogata
cvb.tdtitle: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols (FAVPQC 2022) co-located with the 23rd International
  Conference on Formal Engineering Methods (ICFEM 2022) Madrid, Spain, October 24,
  2022.
cvb.title: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols
cvb.toLine: 7322
cvb.url: http://ceur-ws.org/Vol-3280/
cvb.urn: urn:nbn:de:0074-3280-0
cvb.urn_check_digit: 0
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
  2022
cvb.voltitle: Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
  2022
cvb.volume_number: Vol-3280
cvb.year: '2022'
spt.acronym: FAVPQC 2022
spt.date: '2022-11-20'
spt.dblp: conf/icfem/2022favqpc
spt.description: Proceedings of FAVPQC 2022 workshop
spt.html_url: /Vol-3280.html
spt.k10plus: '1831591774'
spt.number: 3280
spt.title: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols
spt.url: http://ceur-ws.org/Vol-3280/
spt.urn: urn:nbn:de:0074-3280-0
spt.wikidataid: Q115608342
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3280-0
wd.Volume: null
wd.dblpEventId: conf/icfem/favpqc2022
wd.dblpProceedingsId: conf/icfem/2022favqpc
wd.described_at_URL: http://ceur-ws.org/Vol-3280/
wd.event: http://www.wikidata.org/entity/Q115608343
wd.eventLabel: International Workshop on Formal Analysis and Verification of Post-Quantum
  Cryptographic Protocols
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3280/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q115608342
wd.itemDescription: Proceedings of FAVPQC 2022 workshop
wd.itemLabel: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1831591774'
wd.publication_date: '2022-11-20T00:00:00'
wd.sVolume: 3280
wd.short_name: FAVPQC 2022
wd.title: Proceedings of the International Workshop on Formal Analysis and Verification
  of Post-Quantum Cryptographic Protocols
