Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @kiniry@mathstodon.xyz
Portland, OR
Joined February 2008
- Tweets3.6K
- Following1.3K
- Followers1K
- Likes2.5K
kiniry retweeted
AI-enabled cyber attacks are getting faster + going further. But what if AI-enabled formal methods could make high-assurance cyber defence practical at unprecedented speed + scale? We’re funding eight teams with £22m to test that idea. Meet them here: link.aria.org.uk/SAI-TA2-Cre…
kiniry retweeted
Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote!
youtube.com/watch?v=Du8BbJg2…
kiniry retweeted
In November 2020, @SFWA came forward with a stunning accusation: Disney had told the beloved writer Alan Dean Foster (author of the original, bestselling Star Wars novelization) that they would not ever pay him the royalties he was owed.
pluralistic.net/2020/11/19/d… 1/
kiniry retweeted
We're excited to announce our zero-knowledge proof contract with @DARPA as part of the Securing Information for Encrypted Verification and Evaluation (SIEVE) program. Learn more from @ArcherAtGalois, @overfull_hitbox, and Alex Malozemoff: buff.ly/35E9qux
kiniry retweeted
The 2020 Virtual Hardware Security Summit is next week! Galois Principal Scientist, @kiniry will be joining the Panel Session: Ask the Hardware Security Experts Your Security Questions on 9/15 at 1:45 PM PDT. Learn more:
buff.ly/3hnpW4a
kiniry retweeted
The Princeton Election Consortium is pleased to unveil #Moneyball2020. We quantified voter power in legislative elections through the lens of redistricting - and Congressional power for a decade.
The goal is balanced governance. Optimize your activism!
election.princeton.edu/2020/…
kiniry retweeted
Check out our speaker list for the Voting Village at DEF CON 28: Safe Mode! Talks begin at 10 AM, PST on Aug. 7, 2020. Hope to see you at this FREE, remote event! docs.google.com/document/d/1…
kiniry retweeted
At 2 pm PDT today you can check out a live demo from Galois spin-out, @TryMuseDev, of their new platform.
#DevOps #ContinuousAssurance
This Post is from an account that no longer exists. Learn more
kiniry retweeted
Prefer not to be the one to ask the hard questions, but we have to talk about the elephant in the room.
The Haskell Elephant in the Room
stephendiehl.com/posts/crypt…
kiniry retweeted
Joining us: Birol Yesilada, from @Portland_State; @sfsinger from @Portland_State; @tbottomly from @Oregonian; @hooffcooksey from @NRSC; @MarkZusman from @wweek & @tfnw; @MollyWoon from @ORDems; @gam1357 from @OSET; @kiniry from @galois! RSVP here: bit.ly/or-workshop-tw
kiniry retweeted
We are excited that #ElectionGuard is being used in a pilot primary election in Fulton, WI. Great job @Microsoft and @voting_works! blogs.microsoft.com/on-the-i…
kiniry retweeted
We had a great 2019. This week, we're sharing some of the highlights of this past year at Galois in our Year in Review: galois.com/blog/2020/01/2019…
kiniry retweeted
We’re demonstrating secure hardware at the DEF CON Voting Village this week. @dmz explains: darkreading.com/vulnerabilit… @kiniry @DarkReading
kiniry retweeted
Today, the Voting Village is officially announcing Unhack the Ballot, a new initiative designed to connect local election officials who want help securing their systems with volunteers who have the skills to help.
kiniry retweeted
.@DemocracyFund and @nado1377 @gronke released its' comprehensive survey of #LEOs- or "Local Election Officials"-- This is the first public poll of LEOs since @librarycongress 's CRS released them last decade. Thread. democracyfund.org/publicatio… 1/x
kiniry retweeted
Very excited that @BPC_Bipartisan independently used Brandeis-funded @galois tech to demonstrate the utility of computation on encrypted information for better evidence-based policy analysis. This tech can be a powerful enabler to merge sensitive data. bipartisanpolicy.org/library…
kiniry retweeted
NEW on our blog: This #WomensHistoryMonth, we’re celebrating women who are making American democracy stronger. bit.ly/2FldWAM 1/11
kiniry retweeted
It is 9am Swiss Time, @VTeagueAus, Olivier Pereira & I are releasing details of a cryptographic trapdoor that we found in the Swiss Post #evoting system that would allows admins to falsely "prove" mixes that alter votes & undetectably compromise elections: people.eng.unimelb.edu.au/vj…