Do you know the book "Rust Web Development"? It is a step by step guide how to start with #Rust a REST server. It would be so great to have such a book for #FSharp too using Giraffe and/or Saturn and the #SafeStack
@fsharponline @fsharpconf
#atamarie #nztwits Belated #introduction
I work in learning design, mostly online. Have worked in both corporate and education and am now working for #Safestack, a cyber security training company.
I have two kids, a dog and a sheep and hubby is an electrician.I also just did my Masters in Tech Futures where i explored vertical farming. So thats sort of my hobby now.
Current status: Hacking on #SafeStack in #HardenedBSD.
Current status: Hacking on #SafeStack in #HardenedBSD. Working on applying it to shared objects.
Today's goal: Start researching what's needed to finish #SafeStack integration in #HardenedBSD base: https://github.com/HardenedBSD/hardenedBSD/issues/296
Finish integration of SafeStack in base · Issue #296 · HardenedBSD/hardenedBSD

We currently use SafeStack in HardenedBSD on amd64. The current implementation is incomplete in that there's no tight integration with libc, the rtld, and the threading libraries (possibly even...

I now have #SafeStack working in #HardenedBSD 12-CURRENT/arm64. However, clang is emitting the wrong branch instruction (short branch instead of far branch), causing issues when ASLR is enabled.

My next step is to get clang to emit the right branch instruction, especially since SafeStack requires ASLR. Afterwards, I'll create a custom RPI3 image and issue a call for testing.

We might see SafeStack enabled for arm64 before 2018. :)

#FreeBSD #infosec

#OPNsense 17.7 release. It's the first and only firewall to ship with #SafeStack enabled by default.

https://forum.opnsense.org/index.php?topic=5604.msg22814

#FreeBSD #HardenedBSD #infosec

I've now learned both when and how #SafeStack creates and manages the unsafe stack. I'm now digging deep into llvm's code to learn how the rest of SafeStack is implemented. Fun stuff.

#HardenedBSD #FreeBSD #infosec

While the latest #SafeStack #arm64 code compiles, I'm working on importing egypcio's #torbrowser work into a feature branch in #HardenedBSD's ports tree.