shpat

7 ms·

1. 31.▲
   Room for Disagreement(galois.com)

   2 points by shpat 5y ago|0 comments
2. 32.▲
   Actually, You Are Rolling Your Own Crypto(galois.com)

   1 points by shpat 6y ago|0 comments
3. 33.▲
   Proofs Should Repair Themselves(galois.com)

   2 points by shpat 6y ago|0 comments
4. 34.▲
   by shpat 7y ago

   Galois | Full Time Research Engineer, Cryptography and Secure Computation Researcher, Software Integration Engineer, others | Portland, OR, Arlington, VA, Dayton, OH | Galois is looking for software engineers, researchers, and software inte
5. 35.▲
   by shpat 7y ago

   Galois | Full Time Research Engineer, Cryptography and Secure Computation Researcher, Software Integration Engineer, others | Portland, OR, Arlington, VA, Dayton, OH | Galois is looking for software engineers, researchers, and software int
6. 36.▲
   Hackers Take on Darpa's $10M Voting Machine(wired.com)

   2 points by shpat 7y ago|0 comments
7. 37.▲
   by shpat 7y ago

   Galois can support you if you have visa issues, yes.
8. 38.▲
   by shpat 7y ago

   Galois | Full Time Research Engineer, Technical Project Lead, Hardware Engineer, Software Integration Engineer| Portland, OR, Arlington, VA, Dayton, OH | Galois is looking for software and hardware engineers, researchers, technical project
9. 39.▲
   by shpat 7y ago

   Galois | Full Time Research Engineer, Technical Project Lead, Hardware Engineer, Software Integration Engineer| Portland, OR, Arlington, VA, Dayton, OH | Galois is looking for software and hardware engineers, researchers, technical project
10. 40.▲
    DARPA Is Building a $10M, Open-Source, Secure Voting System(motherboard.vice.com)

    649 points by shpat 8y ago|288 comments
11. 41.▲
    by shpat 8y ago

    Can I ask why not? I would be really interested, if you feel like sharing. If so, see my contact info in my profile.
12. 42.▲
    by shpat 8y ago

    Galois | Full Time Research Engineer | Portland, OR, Arlington, VA, Dayton, OH | Remote a possibility Galois is looking for software engineers and researchers that enjoy working on challenging problems in computer science. We collaborate wi
13. 43.▲
    by shpat 8y ago

    Software Engineer/Researcher @ Galois | Portland, OR, Arlington, VA, Dayton, OH. Remote is also a possibility. Galois is looking for software engineers and researchers that enjoy working on challenging problems in computer science. We
14. 44.▲
    A Forward-Looking, Transparent Approach to Pay(lifeatgalois.com)

    1 points by shpat 8y ago|0 comments
15. 45.▲
    Continuous Formal Verification of Amazon S2n(link.springer.com)

    6 points by shpat 8y ago|1 comments
16. 46.▲
    Formal verification and the KRACK vulnerability(galois.com)

    2 points by shpat 9y ago|0 comments
17. 47.▲
    by shpat 10y ago

    Out of curiosity, what do you think the horrible ideas are?
18. 48.▲
    by shpat 10y ago

    Worth noting that we've open sourced the toolset used to generate code for the Little Bird, available at http://ivorylang.org
19. 49.▲
    by shpat 10y ago

    This formal verification walkthrough goes through the hows and whys of a recent project with Amazon that may have some answers for you. Obviously a different project but the fundamentals are similar https://galois.com/blog&#
20. 50.▲
    Formally verifying HMAC in Amazon's s2n library(galois.com)

    8 points by shpat 10y ago|0 comments
21. 51.▲
    Qubie is an open hardware solution for tracking wait times at voting places(techcrunch.com)

    1 points by shpat 10y ago|0 comments
22. 52.▲
    FBI vs. Apple: how did we get here?(medium.com)

    4 points by shpat 11y ago|0 comments
23. 53.▲
    by shpat 11y ago

    Support is available on irc.freenode.net in #icfp-contest, and on Twitter @ICFPContest2015.
24. 54.▲
    The ICFP Programming Contest happening this weekend(icfpcontest.org)

    9 points by shpat 11y ago|0 comments