Adam Wick (@acwpdx) profile picture

Adam Wick

@acwpdx
Joined June 2012
  • Tweets381
  • Following108
  • Followers357
13Media
Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)Photo by Adam Wick (@acwpdx)
High school students interested in #cybersecurity will want to register for NW Cyber Camp, July 16-20, 2018. Guest instructors include @acwpdx with @galois #education Register: nwcyber.camp/
1
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois10 May 2018
Life and work at Galois: A quick look into how we work together at Galois youtube.com/watch?v=qsGBGSVF…
12
2
31
We are looking for some great talent to join a growing team - driving towards an upcoming product launch. Check out our available positions at angel.co/tangram-flex/jobs #FutureTech #embedded #Techjobs
Jobs at Tangram Flex: Explore current Opportunities

Jobs at Tangram Flex: Explore current Opportunities

Tangram Flex is hiring! See 10 jobs in August 2026! Apply to the latest jobs with a single profile and get in touch with hiring managers directly. Learn about salary, equity, work-life balance,...

wellfound.com
2
2
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois20 Feb 2018
What is formal verification? A light introduction to mathematically verifying the correctness of software systems. youtu.be/-CTNS2D-kbY
What is Formal Verification?

What is Formal Verification?

What is formal verification? A light introduction to mathematically...

youtube.com
2
51
3
118
I keep waiting for a figure skater to come out in flannel, and then do their thing with “Smells Like Teen Spirit” or “Cherub Rock” blasting on the speakers.
1
Adam Wick retweeted
Mike Dodds (@miike) profile picture
Mike Dodds@miike6 Jan 2018
Galois are recruiting! We’re a 70-person company solving hard problems in programming languages, static analysis, security, crypto. Smart lovely people, exciting problems, supportive environment. If that sounds appealing come talk to me at #POPL2018. @galois
1
36
4
67
Talking about abstractions to help developers write good #crypto w/ @SyntaxPolice #interview #qconsf bit.ly/2yG0ocV
Image from QCon Software Development Conferences (@QCon)
3
3
Another complete track at #qconsf: "Modern CS in the Real World" hosted by @acwpdx bit.ly/2gzODO9
Image from QCon San Francisco Software Development Conference (@QConSF)
2
1
Adam Wick retweeted
Toz (@tozsecure) profile picture
Toz@tozsecure25 Aug 2017
Abstractions To Help Developers Write Good Crypto - An upcoming talk by our CEO at @QConSF - Wed Nov 15: qconsf.com/sf2017/presentati…
6
7
I fought the borrow checker, and ... we came to a mutual understanding about how bad a person I am, and I apologized.
10
30
Here's a little article about work we've been doing on DDoS defense @galois. #collaborativedefense infosecurity-magazine.com/op…
Organizations Must Adapt to Evolving DDoS Attacks

Organizations Must Adapt to Evolving DDoS Attacks

At the source of a DDoS attack, it can be difficult to differentiate between someone uploading a file and someone perpetrating an attack.

infosecurity-magazine.com
2
11
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois18 Jul 2017
Galois spin-off @tozny launches InnoVault, an end-to-end encryption toolkit for developers. tozny.com/blog/tozny-launche…

TOZ.dev - Developer Platform

Identity and encryption-first security platform for developers

toz.dev
2
5
Free & Fair is building an open source risk-limiting audit system for the State of Colorado! bit.ly/2t1sFvQ
Free & Fair to build risk-limiting audit system for State of Colorado – Free & Fair

Free & Fair to build risk-limiting audit system for State of Colorado – Free & Fair

Colorado has chosen Free & Fair to build a risk-limiting audit (RLA) system to be used statewide beginning with the November 2017 general election.

freeandfair.us
4
3
6
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois30 May 2017
"With government cyber defense, sometimes it's best to give up hope" by @acwpdx xitter.gq/jmillerWFED/status/869…
Jason Miller (@jmillerWFED) profile pictureJason Miller@jmillerWFED30 May 2017
"Give us hope" against #cyber attacks writes @galois @acwpdx. Check out his interesting column: federalnewsradio.com/comment…
1
2
Some cool work we (by which I mean, entirely other people) did working on DDoS defense. xitter.gq/galois/status/85693396…
Galois (@galois) profile pictureGalois@galois25 Apr 2017
Introducing ddosflowgen, an open-source tool that simulates DDoS attacks @dhsscitech galois.com/blog/2017/04/simu…

Simulating DDoS attacks with ddosflowgen

galois.com
3
9
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois26 Jan 2017
We're hiring engineers/researchers to work on trustworthy critical systems in Arlington, VA and Portland, OR! Apply: galois.com/careers/#careers-…

Galois Careers

We're looking for curious people who can invent, learn, think, and inspire. Explore open roles and learn more about our unique culture and robust benefits.

galois.com
1
14
1
16
Nice coverage from @FedNewsRadio about Prattle, one of my projects @galois. federalnewsradio.com/air-for… Jibber-jabber for a better tomorrow!
2
1
Load more