نتائج البحث

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application

• Authors : Haines, Thomas; Mosaheb, Rafieh; Müller, Johannes ...

Subjects: Zero-knowledge Proofs; code-based cryptography; formal verificationSanta Cruz; United States

• Source: IEEE Computer Security Foundations (CSF) Symposium 2025 ; https://inria.hal.science/hal-04856221 ; IEEE Computer Security Foundations (CSF) Symposium 2025, Jun 2025, Santa Cruz,

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

Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs

• Authors : Avanzini, Martin; Barthe, Gilles; Grégoire, Benjamin ...

Subjects: probabilistic programs; Hoare logic; formal verificationUnited StatesPasadena (CA), United States

• Source: ACM Digital Library ; OOPSLA 2024 -ACM Conference on Object Oriented Programming Systems Languages and Applications ; https://inria.hal.science/hal-04834120 ; OOPSLA 2024 -ACM Conference on Object

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

Pythagorean Theorem Proofs: Connecting Interactive Websites

• Authors : Lin, Cheng-Yao

Subjects: Geometry; Validity; AlgebraChina; Greece; United States

• Source: Online Submission. 2006-2007 5(1).11

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

Toward Partial Proofs of Vulnerabilities

• Authors : Brossard, Jonathan;

Subjects: exploitability decidability libification procedural debugging proof of vulnerability; exploitability; decidabilityPittsburgh; United States

• Source: 2024 IEEE Secure Development Conference (SecDev)https://hal.science/hal-047955782024 IEEE Secure Development Conference (SecDev), Oct 2024, Pittsburgh, United

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

Why and how mathematicians read proofs: further evidence from a survey study.

• Authors : Mejia-Ramos, Juan¹ ; Weber, Keith¹

• Source: Educational Studies in Mathematics. Feb2014, Vol. 85 Issue 2, p161-173. 13p.

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

Slimmer Formal Proofs for Mathematical Libraries

• Authors : Geneau de Lamarlière, Paul; Melquiond, Guillaume; Faissole, Florian ...

Subjects: Floating-point arithmetic; Mathematical libraries; Formal methodsPortland (Oregon); United States

• Source: 30th IEEE International Symposium on Computer Arithmetichttps://inria.hal.science/hal-0416516930th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon),

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

A Core Calculus for Equational Proofs of Cryptographic Protocols

• Authors : Gancher, Joshua; Sojakova, Kristina; Fan, Xiong ...

Subjects: Cryptographic protocols; Equational reasoning; Observational equivalenceBoston; United StatesBoston, United States

• Source: POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-03917005 ; POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages,

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

Why Are Proofs Relevant in Proof-Relevant Models?

• Authors : Kerinec, Axel; Manzonetto, Giulio; Olimpieri, Federico ...

Subjects: CCS Concepts: Theory of computation → Lambda calculus; Categorical semantics Distributors Intersection Types Lambda calculus Approximation Theorem; CCS ConceptsBoston (Mass); United StatesBoston (Mass), United States

• Source: POPL 2023 ; https://hal.science/hal-04676054 ; POPL 2023, Jan 2023, Boston (Mass), United States. pp.218 - 248, ⟨10.1145/3571201⟩

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

Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes

• Authors : Bordage, Sarah; Lhotel, Mathieu; Nardi, Jade ...

Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]; [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]; [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]United StatesPhiladelphie, United States

• Source: CCC '22: Proceedings of the 37th Computational Complexity Conference ; CCC 2022 - 37th Computational Complexity Conference ; https://telecom-paris.hal.science/hal-03832439 ; CCC 2022 - 37th

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

Sharp: Short Relaxed Range Proofs

• Authors : Couteau, Geoffroy; Goudarzi, Dahmun; Klooß, Michael ...

Subjects: Security and privacy; Theory of computation; Cryptographic protocolsLos Angeles CA USA; United States

• Source: CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security ; https://hal.science/hal-03860720 ; CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022,

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