|
Showing 1 - 2 of
2 matches in All Departments
Discusses how formal analysis of cryptographic protocols is very
important for securing communication and processing information
Introduces the reader to several formal verification methods and
software commonly used today Covers general knowledge on
cryptographic primitives and formal reasoning as basic blocks to
understanding protocols Focuses on post-quantum cryptographic
schemes Presents how this topic is significant in daily life such
as online banking, instant messaging, etc.
|
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023)
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
|
R1,944
Discovery Miles 19 440
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Conference on Unity of Logic and Computation,
CiE 2023, held in Batumi, Georgia, during July 24–28,
2023. The 23 full papers and 13 invited papers included in
this book were carefully reviewed and selected from 51 submissions.
They were organized in topical sections as follows: ​Degree
theory;Â Proof Theory;Â Computability;Â Algorithmic
Randomness;Â Computational Complexity;Â Interactive
proofs; and Combinatorial approaches.
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.