| | Modifying an Off-the-Shelf Wireless Router for PDF Ballot Tampering [pdf] (galois.com) |
| 25 points by CapitalistCartr on Nov 11, 2014 | past | 2 comments |
|
| | Why Xen? (galois.com) |
| 3 points by lelf on Sept 29, 2014 | past |
|
| | Databases are categories [pdf] (galois.com) |
| 1 point by DanielRibeiro on April 26, 2014 | past |
|
| | Cryptol version 2 released (and open sourced) (galois.com) |
| 1 point by lelf on April 25, 2014 | past |
|
| | Heartbleed: A great time to think about incident response (galois.com) |
| 1 point by lelf on April 11, 2014 | past |
|
| | HaLVM 2.0 Developer's Release (galois.com) |
| 1 point by vimes656 on Oct 20, 2013 | past |
|
| | Fast and formally verified C implementation of Base64 (galois.com) |
| 106 points by lelf on Sept 16, 2013 | past | 40 comments |
|
| | Cryptol a DSL for implementing cryptographic algorithms in silicon (galois.com) |
| 2 points by pelle on March 7, 2013 | past |
|
| | Analysis of Android Ecosystem (galois.com) |
| 1 point by akg on July 31, 2012 | past |
|
| | Why do airplanes crash? (galois.com) |
| 1 point by akg on July 31, 2012 | past | 1 comment |
|
| | Haskell and the Social Web (galois.com) |
| 1 point by akg on June 28, 2012 | past |
|
| | Galois to use HTML as the basis for automated UI guideline verification (galois.com) |
| 1 point by johnbender on Dec 13, 2011 | past |
|
| | A Disciplined Approach to Talking About Security (galois.com) |
| 3 points by johnbender on Nov 17, 2011 | past |
|
| | Cryptol - a language for describing crypto algorithms (galois.com) |
| 2 points by zephyrfalcon on Nov 12, 2011 | past |
|
| | 11+ years of Formal Methods at Galois, Inc. (galois.com) |
| 2 points by johnbender on Nov 11, 2011 | past |
|
| | Haskell training course (galois.com) |
| 3 points by gaius on Sept 22, 2011 | past |
|
| | Functional Programming at Facebook [2009] [pdf] (galois.com) |
| 2 points by timf on Sept 15, 2011 | past |
|
| | Galois Video: Building an Open-Source Autonomous Quad-Copter (galois.com) |
| 3 points by dons on June 18, 2011 | past |
|
| | SIGPLAN Programming Languages Award goes to Peyton Jones and Marlow for GHC (galois.com) |
| 3 points by dons on June 8, 2011 | past |
|
| | Formally Verifying Chess Endgames in HOL4 - solve chess for small values of n (galois.com) |
| 13 points by dons on May 30, 2011 | past | 3 comments |
|
| | Jobs: Galois is hiring computer scientists (galois.com) |
| 1 point by dons on May 5, 2011 | past |
|
| | How Haskell is used in user management products at Janrain (galois.com) |
| 3 points by dons on April 22, 2011 | past |
|
| | Galois chosen by Darpa to help make homomorphic encryption feasible (galois.com) |
| 3 points by dons on April 11, 2011 | past |
|
| | Galois CEO Testifies Before U.S. Congress (galois.com) |
| 3 points by badri on April 1, 2011 | past |
|
| | Merging SMT solvers and programming languages (galois.com) |
| 2 points by dons on Jan 19, 2011 | past |
|
| | Quick authentication using mobile devices and QR Codes (galois.com) |
| 5 points by bkudria on Jan 7, 2011 | past |
|
| | Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot (galois.com) |
| 30 points by dons on Dec 10, 2010 | past | 1 comment |
|
| | Tech Talk: The Rubinius Virtual Machine (links to slides and video) (galois.com) |
| 1 point by telemachos on Dec 5, 2010 | past |
|
| | Galois releases the Haskell Lightweight Virtual Machine (HaLVM) (galois.com) |
| 96 points by dons on Nov 30, 2010 | past | 16 comments |
|
| | The Copilot test flight: a Haskell EDSL for embedded system monitoring (galois.com) |
| 1 point by dons on Sept 22, 2010 | past |
|
|
| More |
