Real World Cryptography Paris Meetup 4
Welcome to the Real World Cryptography Paris (RWC Paris) Meetups! Our goal is to bring together enthusiasts, professionals, and academics to discuss the latest advancements in cryptography. Whether you're an experienced cryptographer, a software engineer, or someone with a keen interest in the field, our meetups offer a platform to learn, share, and network.
Join us for an evening of insightful talks, discussions, and networking. Light refreshments will be provided.
More info on the website: https://cryptography.paris
Back for Meetup 4!
Building upon the success of our previous events, Meetup 4 aims to provide a better experience in a more suited space with awesome talks that we hope will capture your attention.
We encourage you to contribute by paying an entrance fee (suggested fee: 10€). One hundred percent of this donation will go towards providing you with a better event, helping to pay for catering and the space itself, in addition to the funding provided by our sponsors.
The event will include awesome talks and opportunities to network, with catering provided.
Schedule
19:00 - Announcements
19:15 - Trinity: ZK Verified Inputs for One-Round 2PC
Yanis, PSE
This talk introduces Trinity, a cryptographic protocol enabling one-round two-party computation (2PC) with zero-knowledge verified inputs. We’ll outline the core problem of securely verifying private inputs in minimal interaction settings, present our solution combining garbled circuits and Laconic OT over KZG, and explore practical use cases like threshold signatures, privacy-preserving identity proofs, and collaborative ZK apps.
19:35 - Test Your Cryptographic Primitives with Crypto-Condor
Julio Loayza Meneses, Quarkslab
We present crypto-condor, an open-source Python library to test cryptographic primitives. It provides a Python API and a CLI to test that implementations are compliant to the standard using test vectors. It comes with a detailed documentation that includes guides on the primitives supported. These guides offer an overview of the primitive along with a list of the rules and recommendations by the ANSSI pertaining the primitive. crypto-condor supports widely used primitives (AES, ECDSA, RSA, ...) as well as the post-quantum primitives selected by the NIST.
19:55 - Encrypted Semantic Search
Sylvain Rieutord, Cosmian
The last years have seen the emergence of Searchable Symmetric Encryption (SSE) schemes. While SSE is well-suited for exact search, for exact-matching of specific keywords, it seems hard to make it work for approximate searches. On the other hand, we are now used to ask queries in natural language, which can be an ultimate goal on encrypted data.
20:15 - A Deep Dive into the Nym Audit
Nadim Kobeissi, Symbolic Software & Cure53
Privacy networks and cryptographic infrastructures are only as strong as their weakest links. In this talk, Nadim Kobeissi will present key findings from Cure53’s latest security audit of Nym, a decentralized privacy network. The audit uncovered critical vulnerabilities, including signature forgery in the Pointcheval-Sanders scheme, BLS12-381 EC signature bypasses, nonce-key reuse in AES-CTR, and double-spend attacks in offline eCash.
20:35 - Food & Drinks
Provided by our sponsors
22:00 - Closing
Our Incredible Sponsors
We would like to express our gratitude to our sponsors for their support in making this meetup possible and providing refreshments for our attendees:
About Ledger
Ledger is a French company that develops secure devices and apps for crypto assets. Ledger devices are trusted by millions, and powered by the Secure Element chip and Ledger’s proprietary OS, battle-tested for years by security experts.
About Hylé
Hylé is a new-generation Layer 1 network. Hylé uses programmable cryptography to unlock never-before-seen simplicity and scalability for verifiable applications.
About Symbolic Software
Symbolic Software is an applied cryptography outfit based in Paris that champions global digital security through extensive services, including security audits, cryptographic protocol design, and formal verification. We pride ourselves on delivering over 250 comprehensive software and cryptographic audits for clients worldwide and advancing the field of applied cryptography with our research software.
About Quarkslab
Founded 10 years ago, Quarkslab is a dedicated team of cyber-security engineers and developers. We aim at forcing the attackers, not the defender, to adapt constantly.
Stay Connected
Stay up to date with our future events and announcements:
Code of Conduct
RWC Paris Meetups aims to be a friendly place for people with common interests to meet up and talk about real-world cryptography. Everyone who attends promises to:
Treat everyone with dignity and respect.
Be considerate and understanding of differing viewpoints and experiences.
Be respectful in all forms of communication, including in-person and online.