Progress in Cryptology INDOCRYPT 2020 21st International Conference on Cryptology in India Bangalore India December 13 16 2020 Proceedings 1st edition by Karthikeyan Bhargavan, Elisabeth Oswald, Manoj Prabhakaran 3030652777 9783030652777

Progress in Cryptology INDOCRYPT 2020 21st International Conference on Cryptology in India Bangalore India December 13 16 2020 Proceedings 1st edition by Karthikeyan Bhargavan, Elisabeth Oswald, Manoj Prabhakaran – Ebook PDF Instant Download/DeliveryISBN: 3030652777 9783030652777

Full download Progress in Cryptology INDOCRYPT 2020 21st International Conference on Cryptology in India Bangalore India December 13 16 2020 Proceedings 1st edition after payment.

Product details:

ISBN-10 :  3030652777

ISBN-13 :  9783030652777

Author:   Karthikeyan Bhargavan, Elisabeth Oswald, Manoj Prabhakaran  

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology in India, INDOCRYPT 2020, held in Bangalore, India, in December 2020. The 39 full papers presented together with 3 invited abstracts in this book were carefully reviewed and selected from 84 submissions. Apart from its traditional focus on areas in applied and theoretical cryptology, this year INDOCRYPT solicited papers in the area of Formal Methods for Cryptographic Systems as well and much more.

Progress in Cryptology INDOCRYPT 2020 21st International Conference on Cryptology in India Bangalore India December 13 16 2020 Proceedings 1st Table of contents:

1. Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing
2. Proof-of-Reputation Blockchain with Nakamoto Fallback
3. Transciphering, Using FiLIP and TFHE for an Efficient Delegation of Computation
4. Encrypted Key-Value Stores
5. Formal Methods
6. Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts
7. Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
8. Protocol Analysis with Time
9. Verifpal: Cryptographic Protocol Analysis for the Real World
10. Implementing Elliptic Curve Cryptography
11. On the Worst-Case Side-Channel Security of ECC Point Randomization in Embedded Devices
12. Efficient Hardware Implementations for Elliptic Curve Cryptography over Curve448
13. Extending the Signed Non-zero Bit and Sign-Aligned Columns Methods to General Bases for Use in Cryptography
14. Ciphers and Cryptanalysis
15. Cryptanalysis of the Permutation Based Algorithm SpoC
16. More Glimpses of the RC4 Internal State Array
17. Mixture Integral Attacks on Reduced-Round AES with a Known/Secret S-Box
18. Counting Active S-Boxes is not Enough
19. Computing Expected Differential Probability of (Truncated) Differentials and Expected Linear Potential of (Multidimensional) Linear Hulls in SPN Block Ciphers
20. Quantum Cryptanalysis
21. Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings
22. Evaluation of Quantum Cryptanalysis on SPECK
23. Learning with Errors
24. Making the BKW Algorithm Practical for LWE
25. On a Dual/Hybrid Approach to Small Secret LWE
26. Encryption and Signatures
27. Adaptively Secure Threshold Symmetric-Key Encryption
28. Vetted Encryption
29. Security of Public Key Encryption Against Resetting Attacks
30. The Multi-Base Discrete Logarithm Problem: Tight Reductions and Non-rewinding Proofs for Schnorr Identification and Signatures
31. Skipping the q in Group Signatures
32. Incremental Cryptography Revisited: PRFs, Nonces and Modular Design
33. Functional Encryption
34. Gadget-Based iNTRU Lattice Trapdoors
35. Lattice-Based IBE with Equality Test Supporting Flexible Authorization in the Standard Model
36. Efficient Attribute-Based Proxy Re-Encryption with Constant Size Ciphertexts
37. Adaptive-Secure Identity-Based Inner-Product Functional Encryption and Its Leakage-Resilience
38. CCA-Secure ABE Using Tag and Pair Encoding
39. Simpler Constructions of Asymmetric Primitives from Obfuscation
40. Secure Multi-party Computation
41. Adaptive Security of Practical Garbling Schemes
42. Constructive t-secure Homomorphic Secret Sharing for Low Degree Polynomials
43. Perfectly-Secure Asynchronous MPC for General Adversaries (Extended Abstract)
44. Improving the Efficiency of Optimally-Resilient Statistically-Secure Asynchronous Multi-party Computation
45. High Throughput Secure MPC over Small Population in Hybrid Networks (Extended Abstract)
46. Non-interactive Zero-Knowledge Proofs
47. Dual-Mode NIZKs: Possibility and Impossibility Results for Property Transfer
48. On Black-Box Extension of a Non-Interactive Zero-Knowledge Proof System for Secret Equality
49. Correction to: Security of Public Key Encryption Against Resetting Attacks

People also search for Progress in Cryptology INDOCRYPT 2020 21st International Conference on Cryptology in India Bangalore India December 13 16 2020 Proceedings 1st:

progress in cryptology
    
progress kryptic
    
cryptocurrency progress
    
crypto progress
    
cryptology project

Tags: Progress, Cryptology, International Conference, Cryptology, India Bangalore, Proceedings, Karthikeyan Bhargavan, Elisabeth Oswald, Manoj Prabhakaran