Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability: Journal pre-print: full version

Subjects: Interactive Proof System; Theoretical computer science; General Computer Science

  • Source: CCS 2021-ACM SIGSAC Conference on Computer and Communications SecurityCCS 2021-ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2541-2563,

تفاصيل العنوان

×
  • 1-10 of  68,299 نتائج ل ""Universal""