4 posts
AppArmor's unprivileged_userns strips sys_admin from Electron's GPU process on Ubuntu 24.04, causing misleading Permission denied errors. Here is the fix.
A NuSMV model of The DAO's recursive-call bug shows how formal methods catch the vulnerability that drained $245M. Verification confirms the fix in 38 states.
A Bitcoin P2P network simulated in Mininet tests PoW, PoS, and PBFT consensus. With 80% hashing power, double-spend attacks succeeded 33.8% of the time (22/65).
Small input perturbations can flip an RNN's next-word prediction with near-certainty in targeted settings. A hands-on FGSM and DeepFool experiment on PTB and seq2seq models.