Catch Karthik, our Chief Researcher, at the European Conference on PQC Migration next week, where he will be championing the need for the EU to implement provably secure protocols and high-assurance software. See you there? 👋 📅 Dec 2-3, 2025 🔗 https://pqc-conference.eu/ #PQC #EU
À propos
Cryspen provides software, tools, and know-how to define appropriate levels of safety and security for your most critical systems, and design solutions to provably achieve the required level of trust.
- Site web
-
https://www.cryspen.com/
Lien externe pour Cryspen
- Secteur
- Sécurité informatique et des réseaux
- Taille de l’entreprise
- 2-10 employés
- Siège social
- Paris
- Type
- Société civile/Société commerciale/Autres types de sociétés
- Fondée en
- 2021
- Domaines
- Cryptography et Formal Verification
Lieux
-
Principal
Obtenir l’itinéraire
Paris, FR
-
Obtenir l’itinéraire
Berlin, DE
Employés chez Cryspen
Nouvelles
-
We're thrilled to welcome Alexander Bentkamp to the Cryspen family! Alex joins our Tools and Proofs team with a deep background in automated and interactive theorem proving, especially with the Lean proof assistant. We're excited to have his expertise as we continue our work on formally verifying security-critical software. Welcome aboard, Alex! https://lnkd.in/ev4fubGs #Cryspen #Welcome #FormalVerification #TheoremProving
-
Cryspen a republié ceci
Karthikeyan Bhargavan from Cryspen gave the keynote talk at the PQCSA workshop on "PQC Migration & Supply Chain Readiness for the Automotive Industry" this morning in Frankfurt. https://lnkd.in/eMHMnnF7 #pqcsa #pqc #postquantum #quantum #escar PQCSA
-
-
Headed to #escar this week? Catch Franziskus talking high assurance crypto. And don't miss Karthik's keynote at the "PQC Migration & Supply Chain Readiness" workshop. Lets connect and talk #verification and #cryptography. https://lnkd.in/gxefFSqq #AutomotiveSecurity #PQC #Crypto #SupplyChain
-
Excited to share our latest work on formally verifying the Rust standard library! We developed a new methodology to specify and test the Rust core library, helping to find and fix a bug in Rust's platform-specific SIMD functions. Learn more about our approach: https://lnkd.in/eUDj4Bp6 #Rustlang #FormalVerification #Security
-
Cryspen a republié ceci
We are excited to share that Karthikeyan Bhargavan, co-founder and chief research scientist at Cryspen, will give a keynote talk at the PQCSA "PQC Migration & Supply Chain Readiness for the Automotive Industry" workshop (co-located with ESCAR in Frankfurt). Info and registration: https://lnkd.in/eMHMnnF7 #PQCSA #PQC #escar #postquantum
-
-
Cryspen a republié ceci
Day 2 Speakers | 23rd escar Europe | November 6, 2025 📅 We are thrilled to unveil the program for Day 2, which will take place on the stage at the 23rd escar Europe. You can look forward to many fascinating lectures on topics such as cryptography, AI/ LLMs, and security testing and analysis. 🗣️ We are excited to hear the presentations by: 💡 Dr. Ayoub Mars and Maurice Heymann on “Post-Quantum Secure Diagnostics for Road Vehicles” 💡 Claude-Pascal Stöber-Schmidt on “Crypto-Agility in Automotive Real-Time Systems in Context of Post-Quantum-Cryptography" 💡 Franziskus Kiefer, PhD on “High Assurance Cryptography for Automotive Applications” 💡 Stefan Marksteiner on “STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation” 💡 Julia Leckebusch & Dr. Rodrigo do Carmo on “GenAI Meets Risk Assessment: Evaluating ChatGPT for Threat Modeling and Attack Feasibility in Real-World Industrial Domains” 💡 Itay Lidovski on “Breaking the Circuit: Attacking EVs, Charging Stations, and Management Systems” 💡 Daniel Kaestner on “Static Application Security Testing by Abstract Interpretation” 💡 and Donjete Elshani on “Worst-Case Time Analysis of Key Agreement Protocols in 10BASE-T1S Automotive Networks” Additionally, Prof. Dr. Hans-Joachim Hof will report on quantum key distribution for automotive security, and Daniel Wegemer will speak about the challenges and insights of executing an ISO/SAE 21434 TARA for ASIC designs. We expect engaging lectures, great networking, and enjoyable moments at the 23rd escar Europe! 🎊
-
In Taipei for CCS 2025? 🇹🇼 Our CEO, Franziskus Kiefer, is giving a talk on Formal Security & Functional Verification of Crypto Protocols in Rust. If you're attending, don't miss the chance to connect. Franziskus is keen to discuss the future of secure software development and cryptography. Come and talk to him after his session! #Cybersecurity #RustLang #FormalMethods #Cryptography https://lnkd.in/eV7qgHY4
-
Attending the OpenSSL conference? 🗣️ Our Chief Researcher, Karthikeyan Bhargavan, is giving a talk on high assurance post-quantum cryptography. He'd love to connect, so come find him for a chat about the future of crypto! https://lnkd.in/eMHqpq8H #OpenSSL #PQC #PostQuantum #Cryptography #Cybersecurity
-
We're excited to see the release of Signal's new post-quantum ratcheting protocol, SPQR! We are proud to have collaborated with the Signal team on the formal analysis of the design and implementation of this new feature. Learn more about our contributions in our latest blog post https://lnkd.in/en_9sQuS and read Signal's announcement https://lnkd.in/ek5e-A8N #postquantum #cryptography #formalverification #SPQR #Signal