Cryptography Engineering: Designing/Working with Cryptographic Protocols

Design and formal verification for cryptographic systems.Bring in the experience and knowledge necessary to help you design, or prove secure, state-of-the-art cryptographic systems for new solutions. We've helped design and formally verify some of the world's most widely used cryptographic protocols.

Symbolic Software

At this training you will learn how to reason about designing and implementing cryptographic protocols such as TLS, Signal, Noise and more.

8 Rue Saint-Victor

The security of cryptographic protocols remains as relevant as ever, with systems such as TLS and Signal being responsible for much of the Web&#x27;s security guarantees. In recent years, understanding how to reason about, work with and even implement cryptographic protocols has become an important aspect of security engineering.In this training, you will learn about threat modeling and security goals for modern cryptographic protocols. We will discuss how contemporary protocols such as TLS 1.3 achieve advances in security, resistance to attack and improvements over previous versions. We will look at security notions to take into account while implementing protocols. The fundamental design principles for cryptographic systems will be covered, and you will also be introduced to the state of the art for modeling and verifying real-world cryptographic systems.This training will be held at Symbolic Software&#x27;s office in central Paris, across the street from the Notre Dame Cathedral.<h2>Training Schedule</h2>1. Introduction to Cryptography Engineering....A. Security Goals, Threat Modeling....B. Real-World Systems and their Goals....C. Recent Advances in Protocol Design2. Foundations of Cryptography....A. Primitives and Cryptographic Security Notions....B. Public Key Cryptography....C. Current Questions in Cryptography3. Cryptographic Protocols....A. Protocol Design Principles: Theory versus Practice....B. TLS 1.2 versus TLS 1.3: Evolving the World&#x27;s Protocols....C. State of Secure Messaging: Signal, MLS and More....D. New Protocols: WireGuard, Noise Protocol Framework4. Implementing Cryptographic Protocols....A. How to Implement Protocols Safely (Best Practices)....B. How to Implement Protocols Dangerously (Mistakes and Risks)....C. Managing Trust, Secrets and Public Key Infrastructure5. The Future of Cryptographic Protocols....A. Formal Verification: An Introduction....B. Modeling Protocols for Beginners: Verifpal....C. A Brief Look at the Technology of the Future: F*6. Q&amp;A<h2>Who is this training for?</h2>Security engineers, information security professionals and managers all stand to learn from a modern and comprehensive training on cryptographic systems. If you&#x27;re in a position where you&#x27;re deploying, using or managing systems that safeguard user communications, such a training may very well be indispensable.<h2>What will I learn at this training?</h2><ul><li>Understand the thinking behind the designs of modern protocols ranging from TLS to WireGuard.</li><li>Learn how to choose the right cryptography for the right scenario, minimizing risk, cost and performance impacts.</li><li>Learn how to analyze the security of complex cryptographic systems, and best practices for implementing them, as well as pitfalls and common mistakes that are best avoided.</li><li>Understand the hows and whys of protocol design.</li><li>Be informed with the latest technologies and methods for cryptography engineering.</li><li>Top tips and know-how from experts.</li></ul><h2>Trainer</h2>Nadim Kobeissi (@kaepora) is director at Symbolic Software, a researcher in applied cryptography and professor at New York University&#x27;s Paris campus. His research work focuses on protocol analysis and formal verification. Dr. Kobeissi received his Ph.D. after doing research at the Institut National de Recherche en Informatique et Automatique (INRIA) in Paris (accredited by École Normale Superieure) and has published peer-reviewed research focusing on applied cryptography and automated protocol verification.

Cryptography Engineering: Designing/Working with Cryptographic Protocols

More events from Symbolic Software

Discover more events from Symbolic Software, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Paris and filter by date, category, and more to find the perfect fit.

Cryptography Engineering: Designing/Working with Cryptographic Protocols

More events from Symbolic Software

Discover more events from Symbolic Software, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Paris and filter by date, category, and more to find the perfect fit.