Frama-C Days 2024 | Slides are available! Frama-C Team on 5 August 2024
This page redirects to the Frama-C Days 2024 Slides Gallery
Read MoreBlog
Tag Archives: cybersecurity
Frama-C Days 2024 | June, 13 and 14
Maison de la Radio et de la Musique Frama-C Team on 15 April 2024
After 5 years of absence, the Frama-C Days are back! On June 13 and 14, will be held the Frama-C Days at Maison de la Radio et de la Musique in Paris. What to expect? Many exciting interventions from both academic and industrial users of the Frama-C environment, for sharing...
Read MoreCyberhackathon - Frama-C + Binsec - 28/04/23 André Maroneze on 27 March 2023
(This is an announcement for an event near Paris; first follows the French version, then an English version.) Si vous êtes près de Paris, venez au Cyber-hackathon Frama-C + Binsec, le 28/04 de 9h à 17h, au CEA List, dans le campus Paris-Saclay (Nano-Innov, 2 bd Thomas Gobert, 91120 Palaiseau)...
Read MoreNginx buffer overflow Pascal Cuoq on 18 March 2014
A buffer overflow has been discovered in recent versions of the HTTP server Nginx. Hacker News user jmnicolas pondered out loud: “I wonder if this discovery is a result of OpenBSD switching its focus from Apache to Nginx?” It took me one minute to understand what ey meant. I was...
Read MoreAn interesting SSL implementation bug: CVE-2013-5914 Pascal Cuoq on 23 February 2014
SSL in the news SSL is a protocol for point-to-point confidential and authenticated communication over an insecure medium. It is the protocol behind HTTPS, among many other uses. In an Internet-connected system, the SSL implementation stands at the frontier between the system and the hostile outside world. For this reason,...
Read More