Automated verification of countermeasure against detector-control attack in quantum key distribution
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
Automated verification of countermeasure against detector-control attack in quantum key distribution ; volume:10 ; number:1 ; day:26 ; month:6 ; year:2023 ; pages:1-16 ; date:12.2023
EPJ Quantum Technology ; 10, Heft 1 (26.6.2023), 1-16, 12.2023
- Creator
-
Acheva, Polina
Zaitsev, Konstantin
Zavodilenko, Vladimir
Losev, Anton
Huang, Anqi
Makarov, Vadim
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1140/epjqt/s40507-023-00178-x
- URN
-
urn:nbn:de:101:1-2023092710271894047433
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Acheva, Polina
- Zaitsev, Konstantin
- Zavodilenko, Vladimir
- Losev, Anton
- Huang, Anqi
- Makarov, Vadim
- SpringerLink (Online service)
Other Objects (12)
Multivariate verification for sybil attack detection in VANET
Practical Key-Recovery Attack on MANTIS5
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Detector Emulation for Athena WFI Performance Verification
A key recovery attack on SOBER-128
Quantum key recovery attack on SIMON32/64
Detector decoy quantum key distribution
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation
Graph-based automated denial-of-service attack response
Multivariate verification for sybil attack detection in VANET
Practical Key-Recovery Attack on MANTIS5
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Detector Emulation for Athena WFI Performance Verification
A key recovery attack on SOBER-128
Quantum key recovery attack on SIMON32/64
Detector decoy quantum key distribution
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation
Graph-based automated denial-of-service attack response
Multivariate verification for sybil attack detection in VANET
Practical Key-Recovery Attack on MANTIS5
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Detector Emulation for Athena WFI Performance Verification
A key recovery attack on SOBER-128
Quantum key recovery attack on SIMON32/64
Detector decoy quantum key distribution
Automated Verification of Parallel Nested DFS
Automated deductive verification of probabilistic programs
Automated continuous verification for numerical simulation