or cancel
  1. Formal Methods Applied to Control Software


    from Galois Video Added 454 2 0

    abstract: Critical cyber-physical systems, such as avionics, typically have one or more components that control the behavior of dynamical physical systems. The design of such control systems is well…

    + More details
    • Property Directed Reachability


      from Galois Video Added 520 2 0

      abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

      + More details
      • A short examination on the intersection of security and usability (or How usable security could save us all)


        from Galois Video Added 113 2 0

        abstract: Cryptographic tools have become more powerful in the last three decades. With that power has come complexity. To use or even understand most security tools you need a thorough understanding…

        + More details
        • abcBridge: Functional Interfaces for AIGs & SAT Solving


          from Galois Video Added 597 2 0

          For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/

          + More details
          • Requirements and Performance of Data Intensive, Irregular Applications


            from Galois Video Added 530 2 0

            Abstract: Many fundamental science, national security, and business applications need to process large volumes of irregular, unstructured data. Data collection and analysis is rapidly changing the…

            + More details
            • Getting a Quick Fix on Comonads


              from Galois Video Added 197 2 0

              abstract: While the monad abstraction has risen to a certain flavor of fame in the Haskell community and beyond, its equally fascinating dual, the comonad, remains relatively unknown. I’ll tell…

              + More details
              • Trust relationship modeling for software assurance


                from Galois Video Added 257 2 0

                In-absentia presentation to the FAST 2010 audience. Abstract: Software assurance, as practiced through the Common Criteria, is a mixture of processes, heuristics, and lessons learned from earlier…

                + More details
                • Verified Cryptographic Implementations


                  from Galois Video Added 55 2 0

                  Abstract EasyCrypt is a computer-assisted framework for proving the security of cryptographic constructions. However, there is a significant gap between security proofs done in the usual provable…

                  + More details
                  • Engineers Without Borders


                    from Galois Video Added 348 1 0

                    abstract: Engineers Without Borders USA is a fast-growing national non-profit impacting developing communities around the world. EWB provides an opportunity for engineering students and professionals…

                    + More details
                    • Databases are Categories 2: Refinements and Extensions


                      from Galois Video Added 555 1 0

                      abstract: About five months ago I gave a talk here at Galois called “Databases are categories.” The basic idea was that a database schema can be represented as a category C and its states…

                      + More details
                      • Verifying seL4-Based Systems


                        from Galois Video Added 308 1 0

                        abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…

                        + More details
                        • Test flight of AirStar


                          from Galois Video Added 468 1 0

                          More info at : http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/

                          + More details

                          Browse Videos

                          Videos Galois Video

                          Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.

                          Also Check Out