Viewing profile — cmarinas

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 enti…

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 kerne…

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/FormalMethodsPlumbers…

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 mas…

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…

"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. What…

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, …

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 …

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 f…