Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 49 for “"Cryptographic protocols"”.
-
Secure transformation of cryptographic protocols
This Dissertation was approved for publication on 2020-12-03 at 10:35.
-
Lightweight cryptographic protocols for mobile devices
… these devices must be provided with cryptographic keys to encrypt the data. Designing security schemes for resource-limited devices is a challenging task due to the inherit characteristics of these devices which are limited memory, processing power and battery life. In this …
-
Steganography and collusion in cryptographic protocols
… innocuous communication, is an active area of cryptographic research. Recent research has shown that provably undetectable steganography is possible in a wide variety of settings. We believe that the existence of such undetectable steganography will have far reaching implications. In this …
-
On symbolic analysis of cryptographic protocols
… to construct computationally sound proofs of cryptographic protocol security. The original proposal of the UCSA framework by Canetti and Herzog (2004) focused on protocols that only use public key encryption to achieve 2-party mutual authentication or key exchange. This thesis expands the …
-
Mobile agent security through multi-agent cryptographic protocols.
… third party. Our research employs multi-agent protocols to eliminate the trusted third party, resulting in a protocol with minimum trust assumptions. This dissertation presents one of the first formal definitions of secure mobile agent computation, in which the privacy and integrity of the …
-
Formal verification of cryptographic protocols with automated reasoning
Cryptographic protocols form the backbone of our digital society. Unfortunately, the security of numerous critical components has been neglected. As a consequence, attacks have resulted in financial loss, violations of personal privacy, and threats to democracy. This thesis aids the secure design …
-
New cryptographic protocols With side-channel attack security
Cryptographic protocols implemented in real world devices are subject to tampering attacks, where adversaries can modify hardware or memory. This thesis studies the security of many different primitives in the Related-Key Attack (RKA) model, where the adversary can modify a secret key. We show how …
-
Cryptographic Protocols for Blockchain Interoperability and Self-Sovereign Identity
L'abstract è presente nell'allegato / the abstract is in the attachment
-
Facilitating the modelling and automated analysis of cryptographic protocols
… protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and deployment techniques, thereby providing a higher level of confidence than individual approaches. SPEAR II, the Security Protocol Engineering and Analysis Resource n, is …
-
Security models in rewriting logic for cryptographic protocols and browsers
… aspect (iii) we look at the formal analysis of cryptographic protocols, independent of any particular browser. We focus on the formal analysis of protocols \emph{modulo algebraic properties} of their cryptographic functions, since it is well-known the protocol verification methods that ignore …
-
On the implementation of composite-order bilinear groups in cryptographic protocols
In this thesis we present the latest developments in composite-order pairing based cryptography. We first develop the necessary mathematical background. We describe elliptic curves over finite fields, as well as rational functions and divisors on such curves. Bilinear pairings on elliptic curves …
-
Formal Proofs of Security for Privacy-Preserving Blockchains and other Cryptographic Protocols
… data and communications. The basic tools are cryptographic primitives, whose security and efficiency are widely studied. But in real-life applications these primitives are not used individually, but combined inside complex protocols. The aim of this thesis is to analyse various cryptographic …
-
Rational Multiparty Computation
… cryptography</em> considers the design of cryptographic protocols in the presence of rational agents seeking to maximize local utility functions. This departs from the standard secure multiparty computation setting, where players are assumed to be either honest or malicious. ^ We detail the …
-
Extending the language and applications of Maude-NPA through rewriting semantics
Formal methods have been used in analyzing cryptographic protocols since the 1980’s. Formal analysis of cryptographic protocols involves properties that are generally undecidable; however it can often be automated. Maude-NPA is a special-purpose tool for verifying cryptographic protocols. Based on …
-
Cryptographic coprocessors for embedded systems
… of coprocessors is the acceleration of cryptographic algorithms. The work presented in this thesis discusses coprocessor architectures for various cryptographic algorithms that are found in many cryptographic protocols. Their performance is then analysed on a Field Programmable Gate …
-
Quantum cryptography : security analysis of multiuser quantum communication with embedded authentication
Three quantum cryptographic protocols of multiuser quantum networks with embedded authentication, allowing quantum key distribution or quantum direct communication, are discussed in this work. The security of the protocols against different types of attacks is analysed with a focus on various …
-
Security Protocols in Relativistic Quantum Cryptography
This thesis explores quantum cryptographic protocols designed to provide secure implementation of three key tasks, through mathematical analysis and qualitative discussion. Each chapter focuses on a distinct cryptographic scheme and explores its utility relative to classical and alternative quantum …
-
The paradigm of partial erasures
This thesis is a study of erasures in cryptographic protocols. Erasing old data and keys is an important capability of honest parties in cryptographic protocols. It is useful in many settings, including proactive security in the presence of a mobile adversary, adaptive security in the presence of …
-
Embedded monitors for detecting and preventing intrusions in cryptographic and application protocols.
… IDS designed for detecting intrusions in cryptographic and application-level protocols. Our system has several unique characteristics, such as the ability to monitor cryptographic protocols and application-level protocols embedded in encrypted sessions, a very lightweight monitoring …
Page 1 of 3