Searching for "Formal Methods and Cryptography." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Universally Composable Cryptographic Library
- … to reconcile abstractions and cryptography? For about 20 years, formal and cryptographic methods for proving…
- Cited by 33 (10 self) – Add To MetaCart
-
Cryptographically sound and machine-assisted verification of security protocols
- … definitions. In order to link formal methods and cryptography, we show that integrity properties are preserved…
- Cited by 24 (14 self) – Add To MetaCart
-
Logics for Reasoning about Cryptographic Constructions
- … believe that the primary purpose of formal methods in cryptography is not to make it easier…
- Cited by 21 (0 self) – Add To MetaCart
-
Pushing the Limits of Formal Verification
- …,mts}@(email omitted); General Terms Formal methods, cryptography 1. INTRODUCTION Nowadays, cryptographic protocols are getting…
- Add To MetaCart
-
Cryptographically Sound and Machine-Assisted
- … of the protocol with respect to cryptographic definitions. In order to link formal methods and cryptography, we…
- Add To MetaCart
-
On simulatability soundness and mapping soundness of symbolic cryptography
- … of linking formal methods and cryptography, there is also work on formulating syntactic calculi for dealing…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 6.
