Results 81 to 90 of about 1,901,421 (313)
A Secure User Authentication Protocol for Heterogeneous Mobile Environments
IEEE Access, 2022 Mobile devices have become very important for our daily needs. The user authentication protocols with the key agreement are required to deal with the security issues that arise from the use of mobile devices through Internet applications.
Alzubair Hassan +7 more
doaj +1 more source
Crypto-Verifying Protocol Implementations in ML [PDF]
, 2007 We intend to narrow the gap between concrete implementations and verified models of cryptographic protocols. We consider protocols implemented in F#, a variant of ML, and verified using CryptoVerif, Blanchet's protocol verifier for computational ...
Bhargavan, K., Corin, R.J., Fournet, C.
core +2 more sources
High-level Cryptographic Abstractions
, 2019 The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-level abstractions that require minimum knowledge and effort to use while ...
Chand, Saksham +4 more
core +1 more source
Securing Generative Artificial Intelligence with Parallel Magnetic Tunnel Junction True Randomness
Advanced Intelligent Systems, EarlyView.True random numbers can protect generative artificial intelligence (GAI) models from attacks. A highly parallel, spin‐transfer torque magnetic tunnel junction‐based system is demonstrated that generates high‐quality, energy‐efficient random numbers.
Youwei Bao, Shuhan Yang, Hyunsoo Yang
wiley +1 more source
Experimental Quantum Coin Tossing
, 2004 In this letter we present the first implementation of a quantum coin tossing protocol. This protocol belongs to a class of ``two-party'' cryptographic problems, where the communication partners distrust each other.
A. Ambainis +9 more
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study explores the practical application of blockchain technology in accounting through a single case study of TLAB SCF, an Italian financial consulting firm actively involved in national and European digital innovation initiatives. The research adopts the technology acceptance model to investigate how perceived usefulness and perceived ...
Paolo Pietro Biancone +3 more
wiley +1 more source
Specifying a Cryptographical Protocol in Lustre and SCADE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings MARS 2020, arXiv:2004.12403.
openaire +4 more sources
A secure mutual authentication procedure, generate the key fiscal basis, and fiscal data protection
Безопасность информационных технологий, 2018 The paper describes cryptographic transformation for mutual authentication and creation of the fiscal sign key. This transformation based on using block encryption cipher named «Kuznetchik», described in the national standard of the Russian Federation ...
Igor Y. Zhukov, Oleg N. Murashov
doaj +1 more source
Coin Tossing is Strictly Weaker Than Bit Commitment
, 1999 We define cryptographic assumptions applicable to two mistrustful parties who each control two or more separate secure sites between which special relativity guarantees a time lapse in communication. We show that, under these assumptions, unconditionally
A. Kent +9 more
core +1 more source
Verification of stateful cryptographic protocols with exclusive OR [PDF]
Journal of Computer Security, 2019 In cryptographic protocols, in particular RFID protocols, exclusive-or (XOR) operations are common. Due to the inherent complexity of faithful models of XOR, there is only limited tool support for the verification of cryptographic protocols using XOR.
Dreier, Jannik +3 more
openaire +4 more sources