CHERI provides spatial protection and is very strong at this but does not handle temporal protection well (use-after-free for example). Once a pointer is given to another code entity/compartment it is hard to revoke the…
NightMKoder's comment was referring to the x32 mode where an application uses the x86_64 ISA and registers but with a 32-bit ABI (ILP32 - int, long, pointers are 32-bit). The kernel is full 64-bit, so there is no…
I used it in the context of Linux kernel development to model/verify various algorithms. I gave a presentation last year at Linux Plumbers: http://procode.org/FormalMethodsPlumbers2018.pdf Slides 4 and 28 list actual…
I rarely use the Toolbox (especially since I couldn't find a pre-built Toolbox for ARM processors). I'm happy with vim or emacs and I usually have a script (that also does some massaging on the PlusCal-generated code):…
I turned off autocorrect on my wife's phone as her messages didn't make sense ;) (not bothering to check the autocorrected words). As for multi-language, SwiftKey seems pretty good, you don't need to switch between…
"delivered to server" is different from "delivered to device". Let's say my friend is abroad with no roaming, I have no idea whether a message was delivered to him/her or not. WhatsApp has both. As I wrote, I think (I…
Well, search for "whatsapp mitm".
Not really. What I missed most in Telegram was "delivered to device" status. While they claim such information wouldn't tell which of the recipient's devices received the message, I see it more as laziness on their…
For a more consistent behaviour, I deleted the other default iOS keyboards (in Settings) and just left the swype-style one (Google's now, used Swiftkey before). Occasionally I get an iOS keyboard (without any language)…
Yeah, right... The government passes an emergency ordinance quietly during the night, aimed at saving the party's leader, and you blame the president. IOW, people shouldn't think for themselves because there are leaders…
CHERI provides spatial protection and is very strong at this but does not handle temporal protection well (use-after-free for example). Once a pointer is given to another code entity/compartment it is hard to revoke the…
NightMKoder's comment was referring to the x32 mode where an application uses the x86_64 ISA and registers but with a 32-bit ABI (ILP32 - int, long, pointers are 32-bit). The kernel is full 64-bit, so there is no…
I used it in the context of Linux kernel development to model/verify various algorithms. I gave a presentation last year at Linux Plumbers: http://procode.org/FormalMethodsPlumbers2018.pdf Slides 4 and 28 list actual…
I rarely use the Toolbox (especially since I couldn't find a pre-built Toolbox for ARM processors). I'm happy with vim or emacs and I usually have a script (that also does some massaging on the PlusCal-generated code):…
I turned off autocorrect on my wife's phone as her messages didn't make sense ;) (not bothering to check the autocorrected words). As for multi-language, SwiftKey seems pretty good, you don't need to switch between…
"delivered to server" is different from "delivered to device". Let's say my friend is abroad with no roaming, I have no idea whether a message was delivered to him/her or not. WhatsApp has both. As I wrote, I think (I…
Well, search for "whatsapp mitm".
Not really. What I missed most in Telegram was "delivered to device" status. While they claim such information wouldn't tell which of the recipient's devices received the message, I see it more as laziness on their…
For a more consistent behaviour, I deleted the other default iOS keyboards (in Settings) and just left the swype-style one (Google's now, used Swiftkey before). Occasionally I get an iOS keyboard (without any language)…
Yeah, right... The government passes an emergency ordinance quietly during the night, aimed at saving the party's leader, and you blame the president. IOW, people shouldn't think for themselves because there are leaders…