Results 111 to 120 of about 684,168 (248)
Name-passing calculi and crypto-primitives: A survey
The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons.
Focardi, R. +4 more
core +1 more source
Regulating critical technologies: National security and intellectual property
Abstract In recent years, claims of ‘national security’ have surged internationally to protect various security interests including public health, economic security and cybersecurity. National industrial strategies for building critical technologies challenge the scope of ‘national security’ in international intellectual property (IP) protection ...
Phoebe Li, Atilla Kasap
wiley +1 more source
Abstract In many environmental problems, emissions are hard to monitor and abatement costs are privately known. We study how efficient abatement nevertheless can be induced through market‐like arrangements that condition transfers on verifiable abatement rather than on measured emissions.
Jens Gudmundsson +2 more
wiley +1 more source
The Cultural Evolution of Human Goals
Abstract Humans pursue remarkably diverse goals that vary over time and across cultures. These goals are both drivers and products of cultural evolutionary dynamics, yet most theories of cultural evolution have focused on the influence of culture on how individuals reach their goals, rather than on which goals they pursue.
Jérémy Perez +5 more
wiley +1 more source
Digital–Analog Quantum Simulation and Computing: A Perspective on Past and Future Developments
In the past decade, the paradigm of digital–analog quantum technologies has emerged, which proposes to combine the best of both paradigms: large analog blocks, provided by native interactions of the employed quantum platform, enabling scalability, combined with digital gates, allowing for more versatility and, ultimately, universality.
Lucas Lamata
wiley +1 more source
A research on cross‐chain and interoperation methods of fusion protocol
At present, cross‐chain technology and cross‐chain system pay more attention to cross‐chain security and performance, and have shown great improvement in security, scalability and efficiency. However, the generality of cross‐chain technology in different
Li Ming +4 more
doaj +1 more source
From Caesar to RSA: A CAMMP‐Based Encryption Workshop for High‐School Classes
ABSTRACT Encryption has been, and remains, a topic of enduring relevance, reflecting humanity's persistent desire for secure communication. This 3‐hour workshop, developed within the CAMMP framework, aims to introduce participants to the principles of secure communication while fostering mathematical understanding at an appropriate pace for the target ...
Alicia Heck, Benjamin Stamm
wiley +1 more source
Multi-language oriented automatic realization method for cryptographic protocols
A multi-objective-language-oriented automatic code generation scheme for security protocols was put forward.First,based on XML,a description method for security protocols was designed.Second,a graphic user interface(GUI)was developed,through which the ...
Xing-hua LI +3 more
doaj +2 more sources
Abstract The integrity of scholarly communication depends critically on the accuracy and verifiability of cited references. Citations enable readers to trace prior work, assess evidence, and situate new contributions within the existing literature. However, concerns have emerged regarding the presence of references in published papers that cannot be ...
Chengcheng Han +3 more
wiley +1 more source
Cryptography in the multi-string model [PDF]
The common random string model introduced by Blum, Feldman and Micali permits the construction of cryptographic protocols that are provably impossible to realize in the standard model.
Groth, J +3 more
core

