Galois this week announced the release of Cryptol 3.0.0, Crux 0.7, and SAW 1.0. This significant update brings extensive overhauls and new features—an exciting leap forward for our core verification tools.
https://t.co/be519D3fJm
"It's rough because, for those who are still doing this, the load is increasing," Tozny understands, cyber professionals are busy! Our technology is designed to optimize security posture while minimizing the overhead it takes to run it.
https://t.co/e9QhS0owkC
Models such as Stable Diffusion are trained on copyrighted, trademarked, private, and sensitive images.
Yet, our new paper shows that diffusion models memorize images from their training data and emit them at generation time.
Paper: https://t.co/LQuTtAskJ9
👇[1/9]
"Given access to a synthetic dataset, a strategic adversary can infer, with high confidence, the presence of a target record in the original data."
Synthetic data have a lot of value, so this study is concerning and disappointing to see. Though perhaps not surprising.
In our latest article, Galois research engineer Sourya Dey discusses DLKoopman, an open-source software tool developed by Galois to model and predict the behavior of complex systems, from aeronautics to quantum mechanics to medical science and beyond. https://t.co/yvkouoiWws
@CyrusJOBrien Very interesting thread. Thanks for this. Rev. Jones was a relative of mine, and I’d be interested to read the full paper if you can make it available.
I got into a discussion with @OrinKerr the other day about the recent NYT op-ed on Signal and whether “metadata-resistant communications” is good or bad for policing and if it should be opposed. And I guess I wanted to talk about how those arguments should be approached. 1/
Portland Public Schools to hire first-ever Safe Routes to School leader
- Move comes amid Safe Routes funding boost, bike bus movement in full steam, and city look to make good on goal of 25% of trips by bike by 2030
https://t.co/GQkbJ1S50F
"One of the reasons why getting full access to your device is really tempting for governments is the same reason it’s tempting for abusive partners and former partners: we carry tracking devices in our pockets." - EFF Director of Cybersecurity @evacide https://t.co/7Ck4D2b0OH
@RayRedacted It's hard to find people who can foster animals, so many shelters really want you to not adopt so you're available to foster more. But... Life is short. Keep your dog if they let you :)
As experts have long been pointing out: NFTs are a lie. The "thing" you think you are buying is just a URL. When the website goes down, your NFT points to nothing.
I can’t tell what’s going on internally, but it looks like Apple has gotten over these concerns sufficiently to (soon) enable full encryption for iCloud backups. This will require users to opt in, and it will include a “social backup” feature in case you lose your passcode. 6/