Daniel M. Zimmerman (@dmz) profile picture

Daniel M. Zimmerman

@dmz

Principled Computer Scientist, Free & Fair - Mastodon: https://xitter.cf/t.co/XWNrqe7I4p

 Portland, OR
Joined June 2007
  • Tweets440
  • Following616
  • Followers338
15Media
Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)Photo by Daniel M. Zimmerman (@dmz)
Daniel M. Zimmerman retweeted
kiniry (@kiniry) profile picture
kiniry@kiniry7 May 2021
Just heard at a @galois meeting in jest, "Reproducibility is for suckers!" @n1nj4
2
1
6
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois16 Mar 2021
We're excited to announce our spin-out @TryMuseDev has been acquired by @Sonatype! galois.com/news/galois-spin-…
Image from Galois (@galois)
7
2
20
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois10 Mar 2021
We're excited to announce our Bespoke Asynchronous Silicon-Accelerated LWE Intrinsics through Software/Hardware Codesign (BASALISC) Project was awarded a $15.3M @DARPA contract! Principals @dmz, @ArcherAtGalois, and Georgios Dimou share the details: buff.ly/3kZgCaj
Image from Galois (@galois)
1
6
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois8 Feb 2021
We're incredibly proud of the work we accomplished last year and excited to share it with you! Galois 2020: Year in Review. galois.com/blog/2021/02/2020… via @galois
Image from Galois (@galois)
7
3
13
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois1 Feb 2021
ICYMI: Late last year we introduced the new Galois podcast, Building Better Systems, hosted by @n1nj4, and @shpatar! Check it out: buff.ly/3eXqONu
Image from Galois (@galois)
3
10
Daniel M. Zimmerman retweeted
Aaron Tomb (@atombeast) profile picture
Aaron Tomb@atombeast20 Nov 2020
Cryptol v2.10.0 is ready! Includes a faster interpreter with primitive functions for AES, SHA-2, and some elliptic curve point operations. Also adds primality checking to the type system and an RPC interface. Get it here: github.com/GaloisInc/cryptol…

Releases · GaloisInc/cryptol

Cryptol: The Language of Cryptography. Contribute to GaloisInc/cryptol development by creating an account on GitHub.

github.com
13
22
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois16 Nov 2020
Did you hear we have a new podcast? It's true! Hosts @n1nj4 and @shpatar kick it off with a two-part conversation with @jeanqasaur, CEO of @AkitaSoftware. Check it out: buff.ly/3eXqONu
Image from Galois (@galois)
9
1
22
Daniel M. Zimmerman retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj413 Nov 2020
We have a podcast! It's called Building Better Systems, and the first episode features @jeanqasaur I'll dive into some of the topics here on twitter soon, but for now... enjoy (also available on most podcast platforms) youtube.com/watch?v=QbJk8Ziz…
6
2
34
Daniel M. Zimmerman retweeted
Joey Dodds (@n1nj4) profile picture
Joey Dodds@n1nj416 Sep 2020
Here it is! The dev-blogging of our verification project. It's a collaboration between @galois @_Supranational @ethereum and @protocollabs. This is the start of a series describing a full industrial verification project. galois.com/blog/2020/09/anno…

Announcing the ‘blst’ BLS Verification Project

galois.com
2
9
2
22
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois15 Sep 2020
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
Image from Galois (@galois)
8
2
20
Daniel M. Zimmerman retweeted
Aaron Tomb (@atombeast) profile picture
Aaron Tomb@atombeast3 Sep 2020
SAW v0.6 is now available! It includes compositional model extraction, improved x86 verification, and Coq support for offline proofs. Find full details and binaries at github.com/GaloisInc/saw-scr… and Docker images at hub.docker.com/r/galoisinc/s…

Release v0.6 · GaloisInc/saw-script

New Features Added experimental support for compositional extraction. Previously, crucible_llvm_extract and similar functions could translate very simple imperative functions into Term models bu...

github.com
9
19
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois4 Aug 2020
Have you checked out What4? It's a new #Haskell library available on @github and @Hackage that we'd appreciate your feedback on. Feel free to model things in it, break it, complain about it, and improve it! buff.ly/3hKrCpb
1
6
19
Daniel M. Zimmerman retweeted
Aaron Tomb (@atombeast) profile picture
Aaron Tomb@atombeast29 Jul 2020
Cryptol 2.9.0 is out! It features support for floating-point and rational values, safety checking, cleanups in the type system, support for the What4 interface with solvers, and an experimental function for parallel execution. github.com/GaloisInc/cryptol…

Release 2.9.0 · GaloisInc/cryptol

Language changes Removed the Arith class. Replaced it instead with more specialized numeric classes: Ring, Integral, Field, and Round. Ring is the closest analogue to the old Arith class; it con...

github.com
1
11
1
31
Daniel M. Zimmerman retweeted
kiniry (@kiniry) profile picture
kiniry@kiniry24 Jun 2020
This may just be the best high-level summary of applied formal methods I have ever read. "Formal methods as a path toward better cybersecurity" by @intoverflow and @David4C1 via @BrookingsInst. Great job folks! brookings.edu/techstream/for…
Formal methods as a path toward better cybersecurity | Brookings

Formal methods as a path toward better cybersecurity | Brookings

Industry and government should accelerate adoption of formal methods to reduce software vulnerabilities and bolster security.

brookings.edu
4
8
23
Daniel M. Zimmerman retweeted
Gernot Heiser (@GernotHeiser) profile picture
Gernot Heiser@GernotHeiser9 Jun 2020
Our awesome proof-engineering team has completed the functional correctness proof of #seL4 on the @RISC-V (RV64) architecture! You can now run the same verified OS kernel on all major architectures microkerneldude.wordpress.co…
seL4 is verified on RISC-V!

seL4 is verified on RISC-V!

Sounds great! But what does it mean? seL4 seL4 (pronounced ess-e-ell-four) is arguably the world’s most secure operating system (OS) kernel.  The OS kernel is the lowest level of software runn…

microkerneldude.org
6
52
4
172
Daniel M. Zimmerman retweeted
DARPA (@DARPA) profile picture
DARPA
@DARPA8 Jun 2020
Announcing DARPA’s first-ever bug bounty program: Finding Exploits to Thwart Tampering (FETT). Working w @synack and @DefenseDigital, hackers can test hardware from our SSITH program. To participate in the 6/15-6/29 capture-the-flag qualifier, go to: go.synack.com/darpa-ctf-regi…
4
30
5
68
Daniel M. Zimmerman retweeted
Galois (@galois) profile picture
Galois@galois27 May 2020
We're announcing a new Galois spin-off, thatDot! It leverages years of DARPA-funded R&D to provide a software solution for real time discovery and navigation of data relationships in highly connected data. This week, thatDot announced a $2.1M seed round galois.com/news/galois-spin-…
5
1
16
Daniel M. Zimmerman retweeted
Verified Voting (@VerifiedVoting) profile picture
Verified Voting@VerifiedVoting19 Mar 2020
Verified Voting, on behalf of a coalition of cybersecurity experts and computer scientists, issued a letter urging Gov. @wandavazquezg to veto PS 1314 – a bill that proposes the use of internet voting. Read the letter here: verifiedvoting.org/verified-… #NoInternetVoting
1
9
5
12
Daniel M. Zimmerman retweeted
Free & Fair (@free_and_fair) profile picture
Free & Fair@free_and_fair17 Feb 2020
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…
Another step in testing ElectionGuard - Microsoft On the Issues

Another step in testing ElectionGuard - Microsoft On the Issues

As voters cast ballots for Wisconsin Supreme Court candidates, ElectionGuard will provide an encrypted digital tally that will enable voters to confirm their votes have been counted and not altered....

blogs.microsoft.com
3
8
Daniel M. Zimmerman retweeted
kiniry (@kiniry) profile picture
kiniry@kiniry25 Sep 2019
Congrats to the whole @galois and @free_and_fair team, especially @n1nj4, who led the #ElectionGuard project for us! Thank you to @microsoft for their leadership in defending democracy, especially @BradSmi. blogs.microsoft.com/on-the-i…
ElectionGuard available today to enable secure, verifiable voting - Microsoft On the Issues

ElectionGuard available today to enable secure, verifiable voting - Microsoft On the Issues

In May, Microsoft CEO Satya Nadella announced ElectionGuard, a free open-source software development kit (SDK) from our Defending Democracy Program. ElectionGuard is accessible by design and will...

blogs.microsoft.com
2
11
3
18
Load more