A brief technical primer on Rust's key security feature, with embedded-specific context. (more…)

AWS open source project Kani is succeeding in changing the perception, effectiveness, and usability of verification tools that were previously thought to be cumbersome or beyond reach. (more…)

Our Kickstarter campaign for our next generation of Solo products launches on January 26th.  To get alerted when the campaign is live, you can sign up here. (more…)

People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust's syntax, they actually object to Rust's semantics. In this slightly whimsical post, I'll try to disentangle the two. (more…)

We are thrilled to announce Suricata 4.0. This is a major new release, improving detection capabilities, adding new output options and more protocols. Improved Detection Based on valuable feedback … (more…)