Yazar
Lange, Tanja. editor.
Format:
Electronic Resources
Alıntı:
-- Lattice-based Cryptography -- Multivariate Cryptography -- Protocols -- Quantum Algorithms.
Yazar
Lange, Tanja. editor.
Format:
Electronic Resources
Alıntı:
organized in the following topical sections: security protocols; public-key implementation; cryptanalysis
View Other Search Results
Yazar
Smart, Nigel P. editor. (orcid)0000-0003-3567-3304
Format:
Electronic Resources
Alıntı:
Cryptography -- Public-key cryptography -- Symmetric-key cryptography -- Crypto- graphic Protocols
Yazar
Medina-Bulo, Inmaculada. editor.
Format:
Electronic Resources
Alıntı:
systems, including communication protocols, services, distributed platforms, middleware, embedded- and
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
Circuits -- Equational reasoning about quantum protocols -- Design of reversible circuits -- Design and
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving
Yazar
Gibson-Robinson, Thomas. editor.
Format:
Electronic Resources
Alıntı:
-- Herding Cats, Oxford Style -- Stealthy Protocols: Metrics and Open Problems -- A Specification Theory of
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
: security, service composition, databases, communication protocols, business processes, and distributed
Yazar
Weil, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Population Protocols -- Verification of Quantum Computation and the Price of Trust -- Graph Sketching and
Arama Sonuçlarını Sınırlandır
Daraltılmış: