1 of 19

Lec 6: Universal Composability

2 of 19

Recap: ideal world

 

 

 

 

 

 

 

 

 

 

 

 

3 of 19

 

  •  

4 of 19

  •  

5 of 19

“Real/ideal” paradigm of security definition

  •  

6 of 19

Real world v. ideal world

 

 

 

 

 

 

 

 

 

 

 

 

 

7 of 19

  •  

8 of 19

The universal composability framework [Canetti01]

  •  

9 of 19

General Template for UC PAKE Simulators

10 of 19

1-non-simultaneous round protocol

 

 

 

 

11 of 19

  •  
  •  

12 of 19

  • Real world
  • Ideal world

 

 

 

 

 

 

 

13 of 19

  •  
  •  

14 of 19

  •  

15 of 19

  • Real world
  • Ideal world

 

 

 

 

 

 

 

 

correct/wrong guess

 

 

16 of 19

  •  
  •  

17 of 19

  • Real world
  • Ideal world

 

 

 

 

 

 

 

correct/wrong guess

 

18 of 19

Summary

  •  

19 of 19

References

  • [Canetti01] Ran Canetti. Universally Composable Security: A New Paradigm for Cryptographic Protocols. In FOCS 2001. Also in JACM Vol. 67, No. 5 (2020).