Can you see the bug? Let’s talk.

Can you see the bug in the code below? Let’s talk. Position in Paris, France. Send your answer to

#define BUF_LEN 16

unsigned char const gf_wrap = 0x87;

void gf_double(unsigned char *out, unsigned char *in)
    unsigned char *p = in + (BUF_LEN - 1);
    unsigned char carry = (in[0] >> 7) ? gf_wrap : 0;

    out += (BUF_LEN - 1);
    for (;;) {
        *out-- = (*p << 1) ^ carry;
        if (p == in) {
        carry = *p-- >> 7;

int main(void)
    unsigned char buf_out[BUF_LEN];
    unsigned char buf_in[BUF_LEN] = {
        0x2b, 0x7e, 0x15, 0x16, 0x28, 0xae, 0xd2, 0xa6,
        0xab, 0xf7, 0x15, 0x88, 0x09, 0xcf, 0x4f, 0x3c

    gf_double(buf_out, buf_in);

    return 0;

To catch the spirit of what we do, here are some suggested readings:

Meet TrustInSoft at Frama-C & SPARK Day 2019

TrustInSoft is honored to take part in the Frama-C and SPARK day, co-organized with Adacore, CEA List and Inria. The event takes place in Paris on June 3rd as part of  Open Source Innovation Spring initiated by the thematic group `Logiciel libre’ of the cluster Systematic-Paris-Region and IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre’).

This one-day workshop is dedicated to researchers and engineers of the environment of Frama-C and SPARK tools, implemented in academic and industrial fields. One ambition, sharing and discussing research, project results, knowledge and experiences.

During the day our CTO, Benjamin Monate, will give a talk with EasyMile, the pioneer in driverless technology and smart mobility solutions.
The fast-growing start-up develops software revolutionizing passenger and goods transportation. They will together share feedbacks on the application of formal methods on EasyMile’s source code.

​In addition, keynote and talks will be given around the application of formal verification in the autonomous driving industry, to embedded software, and for safety.
Find out more about the day’s line up here:

Want to debrief or interact? Stop by the TrustInSoft booth to share a discussion with us!

To join, freely register here:​

Looking forward to seeing you there!

Frama-C & SPARK Day
Monday, June 3rd 2019
La Fabrique Événementielle
52 ter Rue des Vinaigriers, 75010 Paris 

Meet us at NIST 2018

Are you a developer, manager, evaluator of security-critical projects? Are you a researcher in cybersecurity? Looking to slay dragons AND software vulnerabilities?

Then the 2018 Sound Static Analysis for Security two-day Workshop is for you! We are sponsoring the Workshop and are proud to have our CTO, Benjamin Monate as Guest-Speaker to discuss application of formal methods to flawed code-bases.

Register here, and join us at the National Institute for Standards and Technology (NIST) in Gaithersburg, MD on the 27th & 28th of June 2018.

You will get hands-on practical advices such as: the analysis of legacy code, uses in new developments, accountable for software quality. Most of all, master the art of expertly detecting your software security breaches.

Come meet us at ESC SILICON VALLEY 2017

TrustInSoft is attending Silicon Valley’s Premier Embedded Systems Showcase on December 5-7, 2017, at the San Jose Convention Center.
ESC Silicon Valley provides access to a comprehensive showcase of industry suppliers and technical education, including presentations, demos, and teardowns. From Embedded Software Design & Verification, to Connected Devices,  Advanced Technologies,  IoT & Security, ESC Silicon Valley allows to experience technologies that can lower costs, increase efficiency, and deliver game-changing solutions. TrustInSoft Analyzer is one of the technologies showcased at this year’s Embedded Systems Conference in San Jose.


If you are interested in knowing more about how TrustInSoft make you guarantee Safety and Security in Embedded Systems, stop by booth 1820.

TrustInSoft at ISSA Conference & SDN NFV World Congress

It is important for us to have a presence in all the events that are related to our fields of knowledge and expertise: Safety & Cybersecurity. 

This week, TrustInSoft is attending the 2017 edition of the ISSA World Conference in San Diego, as well as the SDN NFV World Congress 2017 in the Hague, at the same time.

This year’s edition of the ISSA World Conference is gathering cybersecurity professionals from around the world, to discuss around the theme: “The Digital Danger Zone“, and we are glad to be a part of it. Meet us there at booth #508!

The SDN NFV World Congress has established itself to be the world’s largest meeting place for carrier Network Transformation industry leaders. SDN NFV World Congress is the industry leading debating forum and showcase for the rapidly growing and massively influential, Software-Defined Networking. Come to the TrustInSoft booth on the pod zone, and let’s talk about software validation!

Come see us at World e-ID & CyberSecurity 2017

TrustInSoft is attending the 13th edition of World e-ID and Cybersecurity congress at palais Pharo, an exceptional setting . This year’s edition explores the latest secure identification technologies, their implementation and the related online trust challenges.

Within Smart Security Week, additional learning, networking and innovation discovery events are also part of the agenda: exhibition & demos, workshops & tutorials, awards ceremony… along with multiple bridges with the co-located conferences addressing identity for developmentIoT security, & cyberthreat intelligence.

If you are interested in obtaining more information about TrustInSoft, fill out the Contact Us form on our website or stop by our booth.

TrustInSoft has also been nominated in the ” Cybersecurity ” category, results this evening.  Stay tuned!


Come See TrustInSoft at ARM TechCon

TrustInSoft is attending the world’s biggest ARM event, ARM TechCon October 25-27 at the Santa Clara Convention Center. The conference brings together top tier suppliers who are able to meet specific embedded needs. We will be showcasing our MbedTLS verification kit, which details how to configure and compile mbedTLS so that the core components of this SSL/TLS stacks are immune to buffer overflows. This unique approach to software validation sets new rules for critical software components.
If you are interested in obtaining a complete list of open source components that TrustInSoft can verify, fill out the Contact Us form on our website or stop by booth 732.