|
Galois
@
galois
Portland, OR
|
|
Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
|
|
|
1.036
Tweetovi
|
744
Pratim
|
4.817
Osobe koje vas prate
|
| Tweetovi |
|
|
Galois
@galois
|
3. velj |
|
We're excited to announce pair of contracts totaling $16.5M as part of DARPA's SafeDocs program to address electronic document vulnerabilities: galois.com/news/galois-aw…
|
||
|
||
| Galois proslijedio/la je tweet | ||
|
Enigma Conference
@enigmaconf
|
24. sij |
|
Enigma 2020 is next week! Hear @n1nj4 of @galois and @free_and_fair present "Trustworthy Elections" bit.ly/enigma2020dodds There’s still time to register: bit.ly/enigma2020 #enigma2020 #infosec #security #privacy #cybersecurityconference #cybersecurity pic.twitter.com/FfB7XlADxt
|
||
|
|
||
|
|
Galois
@galois
|
14. sij |
|
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/2…
|
||
|
|
||
|
|
Galois
@galois
|
20. pro |
|
.@acwpdx writes a special kind of recommendation for a 3-year-old member of the Galois community pic.twitter.com/BqIyfPIW8d
|
||
|
|
||
|
|
Galois
@galois
|
16. pro |
|
We're sponsoring the Summer School on Theory and Practice of Multiparty Computation 2020, which will be held from the 18th until the 22nd of May 2020 at IT University Copenhagen in Denmark. Attendance is free of charge: events.au.dk/mpcsummerschoo…
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
Adrian Herrera
@0xadr1an
|
1. pro |
|
"Exploits as Insecure Compilation", Jennifer Paykin + more @galois folk, to appear @ PriSC 2020
Generalises @halvarflake's state machine formalisation of weird machines in terms of PL + secure compilation concepts
Weird Machines as Insecure Compilation: arxiv.org/abs/1911.00157 pic.twitter.com/L9iwsAXeKx
|
||
|
|
||
|
|
Galois
@galois
|
26. stu |
|
.@dmwit13 discusses using AI to beat games in this talk at the November Haskell DC meetup: youtu.be/-HQOJdzRA3o
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
David Thrane Christiansen
@d_christiansen
|
21. stu |
|
Just found out that our parental leave is going up to 16 weeks at @galois, just in time for my impending parenthood! Wow! Yay!
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
John Wickerson
@wicko3
|
20. stu |
|
Stephen Magill from @galois is talking about effective tech transfer from academia to industry at #facetav pic.twitter.com/RTKwoaeL0o
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
twosix
@Twosixlabs
|
18. stu |
|
Two Six is proud to be working with @galois and @ArcherAtGalois on HECTOR for @IARPAnews. This program is exploring vital privacy protection via strong cryptographic protection, such as processing data while it remains cryptographically secure. blog.executivebiz.com/2019/11/galois…
|
||
|
|
||
|
|
Galois
@galois
|
14. stu |
|
Galois Awarded $15M IARPA Contract To Expand Government, Commercial Use Of Privacy-Preserving Technology galois.com/news/15m-iarpa… @ArcherAtGalois @IARPAnews
|
||
|
|
||
|
|
Galois
@galois
|
26. ruj |
|
Are you attending the @AnitaB_org Gracehopper Celebration next week? Stop by and say hi, @galois will be at booth 980.
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
Isaac Potoczny-Jones
@SyntaxPolice
|
19. ruj |
|
Come see the #security track at @QConSF on Nov 13. I'll be giving a talk on defense in depth with application-level cryptography. qconsf.com/sf2019/track/s…
|
||
|
|
||
|
|
Galois
@galois
|
19. ruj |
|
What About the Natural Numbers? by José Manuel Calderón Trilla youtu.be/jFk1qpr1ytk @josecalderon at Papers We Love Conf
|
||
|
|
||
|
|
Galois
@galois
|
11. ruj |
|
Watch @kiniry's talk at the ERI Summit about our work on DARPA's SSITH program and the secure hardware research demonstrator that is being made available for red teaming: youtube.com/watch?v=7UF56u…
|
||
|
|
||
|
|
Galois
@galois
|
6. ruj |
|
On September 11, Sam Lasser will be giving a talk on A Verified LL(1) Parser Generator at Galois. Details:
galois.com/blog/2019/09/t…
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
Tangram Flex
@TangramFlex
|
4. ruj |
|
"A program is correct when it behaves exactly as intended, and no other way."
We're breaking down software correctness in our most recent article:
buff.ly/2MTBBNy pic.twitter.com/YPyP5nBMiN
|
||
|
|
||
|
|
Galois
@galois
|
31. kol |
|
Good news: we’re open sourcing our latte-making techniques. Here’s Dr. Calderón giving an invited talk on the imminent, peer-reviewed paper twitter.com/josecalderon/s…
|
||
|
|
||
|
|
Galois
@galois
|
28. kol |
|
A quiet Wednesday afternoon at Galois pic.twitter.com/XIJ3p6kTil
|
||
|
|
||
| Galois proslijedio/la je tweet | ||
|
E-Voting.CC
@evotingcc
|
27. kol |
|
Our last keynote speaker for #EVoteID2019 will be
Daniel M. Zimmerman @dmz, Principal Researcher at @galois and co-founder of @free_and_fair. Please register if you are planning to attend: e-vote-id.org/conference-reg…
|
||
|
|
||