Michele Alberti wins LOPSTR 2017 Best Paper Award

In October 2017, our dear employee, Michele Alberti attended the 27th International Symposium on Logic-Based Program Synthesis and Transformation in Namur in Belgium.

The LOPSTR series of conferences aims to stimulate and promote international research and collaboration on logic-based program development.

Michele presented the research work “Context Generation from Formal Specifications for C Analysis Tools”, co-authored with fellow researcher Julien Signoles from the CEA List – Software Security Laboratory. For its relevance, originality and technical quality, his work has won the LOPSTR 2017 Best Paper Award.

Read the paper here.

As a Start-Up company that values teamwork effort and Research & Innovation, we are truly proud of Michele’s achievement.


TrustInSoft: Winner of the Smart Security Week Innovation Awards 2017

TrustInSoft proudly received the 2017 Innovation award from the SmartSecurityWeek Awards under the category “Cybersecurity”. The SmartSecurityWeek is rewarding and recognizing innovation in technology & business in trusted technologies.

The smart security week took place in Marseilles, France, from September 26-28. More information about the event can be found here: www.smartsecurityweek.com

If you want to know more about our innovative technology, read more : HERE!

TrustInSoft is among the 10 most innovative companies in 2015

Thanks to its unique ability to deliver guarantees on software, TrustInSoft has been selected among the 10 most innovative companies in 2015.

Here is our pitch.

Associated slides:

Here are the highlights of RSA Conference Innovation Sandbox 2015

Thank you for all the constructive interactions at our kiosk after the pitch session.

Read the Full press release.

TrustInSoft in the Top 10 Finalists of the “Most Innovative Company” contest


PDF Version


TrustInSoft Recognized For Eradicating Software Security Flaws

BEDFORD, MA – MARCH 24, 2015 – TrustInSoft today has been named one of 10 finalists for RSA® Conference Innovation Sandbox Contest 2015, which is celebrating its 10-year anniversary this year. On Monday, April 20, 2015, TrustInSoft will have the opportunity to showcase its innovative information security technology to the Innovation Sandbox Contest panel of judges for a chance to be named “Most Innovative Company at RSA Conference 2015.”

Innovation Sandbox Contest promotes new approaches to information security technology, provides advice and counsel for entrepreneurs, and exposes the RSA Conference community to venture capitalists, industry experts, senior level business practitioners and thought leaders.

“Success awaits those that are named to the top 10 finalists for RSA Conference Innovation Sandbox Contest,” said Sandra Toms, vice president and curator for RSA Conferences. “Year after year, finalists have gained visibility and validation within the information security industry that has catapulted them to new heights. Many past winners and finalists have experienced high growth and increased funding, and we expect the same with this year’s top 10.”

Currently, companies try to increase their cyber protection by adding more and more layers of security onto their software. Since none of these layers is guaranteed secure, though, hackers are still able to exploit vulnerabilities in even the smallest software flaws.

TrustInSoft is putting an end to this game of cat-and-mouse by changing the way software security works: by providing tools and services able to mathematically guarantee that software is immune to entire families of known flaws. Now, TrustInSoft’s customers—spanning industries including aeronautics, space, defense, energy, telecommunication, Internet of Things, and IT—are able to deploy their software with an unparalleled level of confidence and trust. TrustInSoft can guarantee immunity against even the most insidious known flaws: for example, buffer overflows indicating Heartbleed-like attacks, or hidden flaws known as zero-days. No other company is able to provide this level of trust in existing software.

“As a finalist for the 2015 Innovation Sandbox Contest, we have the unique opportunity to demonstrate to a worldwide audience how our innovative source code analyzer not only reduces cyber-threats, but also cuts validation and verification costs,” said TrustInSoft CEO Fabrice Derepas. “This incredible opportunity should really help to catapult our US growth.”

The “Most Innovative Company at RSA Conference 2015” winner will be determined at the conclusion of Innovation Sandbox Contest, after each finalist gives a short presentation to a panel of judges that includes Asheem Chandna, partner at Greylock Partners; Gerhard Eschelbeck, vice president of security engineering at Google; Renee Guttman, vice president for information risk at Accuvant; Patrick Heim, head of trust and security at DropBox; and Paul Kocher, president of Cryptography Research.

Additional information about the “Most Innovative Company at RSA Conference 2015” and Innovation Sandbox Contest can be found at: http://www.rsaconference.com/events/us15/agenda/innovation-sandbox-contest

About TrustInSoft

TrustInSoft is a French startup company located in Paris, incorporated in 2013.

TrustInSoft produces TrustInSoft Analyzer, an advanced static source code analyzer, based on the open source Frama-C platform. TrustInSoft Analyzer enables software developers and integrators to exhaustively detect the most frequent and dangerous families of threats before deployment: this unique feature has been recognized by NIST, officially setting TrustInSoft apart from other software analysis companies. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components.
For more information visit http://trust-in-soft.com.

About RSA Conference

RSA® Conference is the premiere series of global events where the world talks security and leadership gathers, advances and emerges. Whether attending in the U.S., the EMEA region, or the Asia-Pacific region, RSA Conference events are where the security industry converges to discuss current and future concerns and get access to the people, content and ideas that help enable individuals and companies to win, grow and do their best. It is the ultimate marketplace for the latest technologies and hands-on educational opportunities that help industry professionals discover how to make their companies more secure while showcasing the most enterprising, influential and thought-provoking thinkers and leaders in security today. For information on events, online programming and the most up-to-date news pertaining to the information security industry visit www.rsaconference.com.

Media Contacts:
Fabrice Derepas
+33 970 44 75 87

Kim Diesel
+1 512-872-7516

Read the full press release from RSA Conference web site.

Join us in San Francisco on April 20th, Moscone Center North, Room 134 from 1:00PM to 5:30PM.


Fast & Serious


TrustInSoft won the “Grand Prize” during the 6WIND “Speed Matters” contest. So we got the nice 50mph green car on the picture! We already knew the power of 6WIND software, that can unleash the speed of multicore processors to create incredibly fast telecom equipment with standard hardware.

Now, thanks to TrustInSoft, there is a mathematical assessment of 6WIND software’s tremendous reliability. At TrustInSoft, we have verified that the DPDK component at the core of the software is immune against any cyber-attacks related to memory errors.

Network Function Virtualization (NFV) represents a major shift in the telecommunication and networking industry. Software plays a growing role in making telecom equipment efficient and easy to operate. Ensuring the safety and the security of the software layers, such as 6WIND’s DPDK, that make this revolution possible is a major milestone in having communication services with a guaranteed reliability.

Startup Contest


Geneviève Fioraso Minister of Higher Education and Research at the 2013 edition of the
French national competition of startup creation

TrustInSoft is a winner of the 2013 edition of the French national competition of startup creation. The Minister stated: “Je souhaite donc à ces talents d’aujourd’hui toute la réussite dans leurs projets de création d’entreprises innovantes. C’est grâce à eux que l’innovation et la recherche peuvent servir de pilier à la compétitivité et à la croissance, et que nous pourrons bâtir la France de demain.”.