Release 0.8.0

_layouts/home.html

@@ -55,7 +55,7 @@ <h2 class="title">
     our <a href="https://github.com/binsec/binsec/tree/master/doc">tutorials</a>. Further examples are bundled in our <a href="https://hub.docker.com/r/binsec/binsec">Docker image</a> and <a href="https://opam.ocaml.org/packages/binsec/">OPAM package</a>. 
     </p> 
 
-    <b>Current release is version 0.7.1 from 02/2023.</b>
+    <b>Current release is version 0.8 from 07/2023.</b>
 
     <p>We have frequent <b>job openings</b> for postdoc, PhD student and intern positions. Check up <a href="/#news">the news</a> for ongoing calls or <a href="/people/binsec.html">contact us</a> if you believe that you could be a good match.</p>
   </div>

_posts/2023-07-14-binsec-0.8.0.md

@@ -0,0 +1,25 @@
+---
+layout: post
+title:  "Release 0.8.0 of BINSEC is out"
+categories: releases binsec
+date: 2023-07-14
+github: https://github.com/binsec/binsec/releases/tag/0.8.0
+keywords: SSE plugins, RelSE, PowerPC 64-bit
+---
+
+What a follow up,rising new opportunities!
+The legacy symbolic engine is overwhelmed while the new one opens with the greatest number. We are glad to announce **BINSEC** is now supporting plugin extensions.
+
+On the agenda:
+- a brand new symbolic execution monitoring mechanism with plugins;
+- the annexation of the [RelSE](https://binsec.github.io/assets/publications/papers/2022-tops.pdf) feature as one of them;
+- the experimental supports of the `PowerPC 64-bit` architecture.
+
+**BINSEC** **S**ymbolic **E**ngine is quite minimalist, it only keeps what it needs to continue its exploration. The good new is that it now also provides an extension mechanism that lets you do extra things along the symbolic execution, like collecting data or performing checks. We give an example of this new feature by implementing a shadow stack to detect control-flow hijacking in the following [tutorial](https://github.com/binsec/binsec/blob/master/doc/sse/plugins.md).
+
+Second but not least example is the complete re-implementation of the relational engine presented in the previous release. Thanks to the extension mechanism, you can now verify the constant time code property of your program while benefiting from all past and future **BINSEC** enhancements. We document how to use it the this [tutorial](https://github.com/binsec/binsec/blob/master/doc/sse/relse.md).
+
+But that is not all! Thanks to the partnership with Thales, we are proud to release the first version of the `PowerPC 64-bit` decoder, the latest addition to the growing range of supported architectures.
+
+Check it out on [GitHub](https://github.com/binsec/binsec), Opam or [Docker](https://hub.docker.com/r/binsec/binsec).  
+Have a nice Bastille Day and keep your head on your shoulders :-)