<p>What an exciting research. Beyond BLE: Cracking Open the Black-Box of RF Microcontrollers</p><p><a href="https://events.ccc.de/congress/2024/hub/event/beyond-ble-cracking-open-the-black-box-of-rf-microcontrollers/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">events.ccc.de/congress/2024/hu</span><span class="invisible">b/event/beyond-ble-cracking-open-the-black-box-of-rf-microcontrollers/</span></a></p><p><a href="https://chaos.social/tags/38c3" class="mention hashtag" rel="tag">#<span>38c3</span></a></p>

<p>i appreciate having friends with whom “you don’t count as people” is stated and understood as a compliment</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>whitequark</span></a></span> I've also put Matlab, Altium, and ProE in there at times.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Catherine, what the fuck :cate:</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> 3 ways to get nothing done for weeks. Vivado fits right in.</p>

<p>you can create bytes that you feed into random routines and see how they get transformed</p><p>you can see symbolic expressions for registers or memory bytes</p><p>it even supports filesystem access</p><p>it makes me so happy to see software made by competent people</p>

<p>it even supports subroutine calls!! how cool is that</p>

<p>i just discovered some really good software: SENinja <a href="https://github.com/borzacchiello/seninja" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/borzacchiello/senin</span><span class="invisible">ja</span></a></p><p>it lifts Binary Ninja&#39;s intermediate representation to a symbolic form and lifts it to an SMT2 representation, then feeds it to Z3</p><p>the user interface is like a debugger, except you get things like symbolic expression, or you can ask for which inputs will result in reaching a specific branch</p><p>this is so so so cool</p><p><a href="https://doi.org/10.1016/j.softx.2022.101219" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.1016/j.softx.2022.1</span><span class="invisible">01219</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> let&#39;s be real, that would be way better than the standard installer</p>