Principled Computer Scientist, Free & Fair - Mastodon: https://xitter.cf/t.co/XWNrqe7I4p
Portland, OR
Joined June 2007
- Tweets440
- Following616
- Followers338
- Likes3.1K
The 3rd (and final) day of @enigmaconf starts in just over 1/2 hr with what should be a great panel discussion on “Understanding Section 230” moderated by @mmasnick! Like yesterday I’ll be listening while afk, but I’m sure there’ll be other live tweeting going on.
#enigma2022
That Section 230 panel was excellent - thanks, moderator and panel! @ram_ssk live tweeted the whole thing, and anyone who missed it should definitely catch it once it goes open access. xitter.cf/ram_ssk/status/1489282…
#enigma2022
I will be live tweeting this blockbuster panel on Sec 230 @enigmaconf #Enigma2022
Day 2 of @enigmaconf starts in a little bit, and promises to be at least as good as yesterday! First up after opening remarks is a panel discussion on Sex Work, Tech, and Surveillance moderated by @eredmil1 - I’ll be listening but away from a keyboard for most of it. #Enigma2022
That was a great panel @enigmaconf, and I’m not going to be able to do it justice by summarizing it, but @nhfruchter, @aevavoom, @ram_ssk and others did a bunch of live tweeting you should check out (along with the panel itself, when it goes open access).
#enigma2022
Excited for the start of @EnigmaConf in a few minutes! I couldn't make it in person - Enigma 2020 remains my last in-person conference - but I'm glad it's a hybrid this year, even with the "exciting" logistics! #Enigma2022
I "live blogged" the last several editions of @enigmaconf internally at Galois... I'm no longer there, and @ram_ssk, @nhfruchter, and others are already doing a great job live tweeting #Enigma2022, so I'm going to sit back, listen intently, and save my wrists a bit this year.
1
3
For anybody who was a fan of the late, great Caspian Kabob cart in downtown Portland… kabobpdx.com/ oregonlive.com/dining/2021/0…
1
How do we show the correctness of asynchronous designs in @galois's silicon projects? @jpaykin and I give an overview of our work on formally verified flow equivalence for desynchronized circuits. galois.com/blog/2021/08/flow…
Asynchronous design has been a common thread through @galois's silicon projects over the last few years... why is that? galois.com/blog/2021/07/why-…
Proud to be part of the BESSPIN team at @galois working on this project, with @kiniry @R_Tadros @rbroadfoot (and many others I don’t know the Twitter handles of) - and now it’s open source!
To help researchers analyze the security of novel chip prototypes, we open sourced the custom-built hardware evaluation platform & tools used on our #FETT Bug Bounty. Learn more: darpa.mil/news-events/2021-0… @galois
@AWS_Partners blog writes today about @galois and @effectualinc’s work on @darpa’s 2020 FETT bug bounty program, which extensively used AWS EC2 F1 cloud FPGAs. Proud to have worked on this with @kiniry, @rbroadfoot, @r_tadros and more at @galois! aws.amazon.com/blogs/apn/lev…
Very excited to be starting @galois's DPRIVE project, BASALISC (Bespoke Asynchronous Silicon-Accelerated LWE Intrinsics through Software/hardware Codesign), with @ArcherAtGalois! galois.com/blog/2021/03/galo…
Fully Homomorphic Encryption protects data whether at rest, in transit, or in-use but requires a ton of compute power. Under our DPRIVE program @intel @galois @SRI_Intl @DualityTech are developing hardware accelerators to tackle this compute challenge. darpa.mil/news-events/2021-0…
Our letter from earlier this week about the President’s election security claims was retweeted by @LastWeekTonight - thanks, @iamjohnoliver, for your excellent coverage of these issues!
Finally, and most importantly: There is no evidence that any voting-machine fraud happened. In fact, some of the experts we consulted for our piece signed a letter regarding the Trump campaign's allegations. Would you like to read it? Here it is!
mattblaze.org/papers/electio…
1
In addition to yesterday's statement on the election, I also co-signed a letter released by @EFF today. Elections are (obviously!) partisan, but election security shouldn't be. eff.org/deeplinks/2020/11/el…
1
We should all be in favor of not only secure elections, but also honest, factual discussion about the current state of election security. Today's firing of @C_C_Krebs shows that the current Administration doesn't care about either of those things.
Proud to be signatory #59 (alphabetical order FTW!) to this letter about election security claims made recently by the President and his Administration. nytimes.com/2020/11/16/busin…
1
1
@OddworldInc I got a defective copy of the Abe’s Origins book (literally has a chunk cut out of the jacket and is physically damaged) and haven’t heard back from the people running fulfillment after a week - any idea what I should do next?
1
I’m at @DallasLoveField for the first time, and it’s a lovely airport - but what the heck is up with this, Dallas? I could maybe understand 5 or 6, but 10?
Portland’s @KGWNews did a great segment on @galois yesterday, including some footage of the voting demonstrator we’re building for @DARPA and showing at this year’s @defcon @VotingVillageDC - kgw.com/article/news/local/p…
This is a joke article, right? I mean, the headline is laugh out loud ridiculous. You can’t really think Apple’s CryptoKit has anything to do with cryptocurrency, can you? And what’s with the scare quotes on “cryptographic”? @Forbes @BillyBambrough apple.news/AT20RiTjbT9qG_-u7…
Just announced at Microsoft Build 2019: #ElectionGuard, an end-to-end verifiable elections SDK project that @kiniry, @n1nj4, and I have been leading at @galois and @free_and_fair! npr.org/2019/05/06/720071488… blogs.microsoft.com/on-the-i…
Just announced with @kiniry at #EVN2019: our @DARPA-funded project at @galois and @free_and_fair to build a demonstrator open source high-assurance election system on secure @RISCV platforms and publicly red team it at @DEFCON 2019 and beyond! motherboard.vice.com/en_us/a…
Just noticed a critical typo here - I should have mentioned more explicitly that we're building our demonstration system on @RISC_V (RISC-V), the open source ISA. My apologies to whoever I inadvertently tagged - with my handle, believe me, I know how it feels...
3