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
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
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
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
.@acwpdx on @Galois's experience developing CyberChaff, a novel network defence solution with #unikernels built into its core #qconsf
Image from QCon San Francisco Software Development Conference (@QConSF)
Image from QCon San Francisco Software Development Conference (@QConSF)
3
1
3
Adam Wick retweeted
Galois (@galois) profile picture
Galois@galois8 Nov 2016
Today: "Selling Unikernels: The CyberChaff Experience" talk by @acwpdx at @QConSF, 10:35am qconsf.com/sf2016/speakers/a…
2
7
The decline in violent and property crime is in keeping with a larger trend of falling crime rates, contrary to fears of a “crime wave”
Image from Southern Poverty Law Center (@splcenter)
15
9
Pst! You here lazyweb -- I am hosting a Unikernel meetup @pivotal on October 20th meetup.com/San-Francisco-Uni… You coming?
1
8
6
My #Unikernels eBook from @OReillyMedia is now available for free! Come and get it! oreilly.com/webops-perf/free…
8
1
12
Replying to @acwpdx
@acwpdx 's talk is up! Go watch it m.youtube.com/watch?v=qCUI5r… #strangeloop
2
5
Adam Wick retweeted
LRW3bb (@LRW3bb) profile picture
LRW3bb@LRW3bb12 Sep 2016
"Diocletian, Constantine, Bedouin Sayings, and Network Defense" @acwpdx @strangeloop_stl OH I AM 100PERCENT THERE #pastpresentfuture
2
1
Learn how to sell #Unikernels from the #CyberChaff Experience. @acwpdx at #qconsf bit.ly/2bVtDzw
1
Load more