or cancel
  1. Trust relationship modeling for software assurance

    24:54

    from Galois Video / Added

    255 Plays / / 0 Comments

    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
    • Getting a Quick Fix on Comonads

      01:13:39

      from Galois Video / Added

      153 Plays / / 0 Comments

      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
      • Engineers Without Borders

        38:36

        from Galois Video / Added

        343 Plays / / 0 Comments

        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

          01:02:55

          from Galois Video / Added

          533 Plays / / 0 Comments

          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

            55:53

            from Galois Video / Added

            270 Plays / / 0 Comments

            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
            • Copilot Project Test Flight

              00:08

              from Galois Video / Added

              337 Plays / / 0 Comments

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

            • Test flight of AirStar

              00:13

              from Galois Video / Added

              428 Plays / / 0 Comments

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

            • Introduction to Logic Synthesis

              01:10:55

              from Galois Video / Added

              830 Plays / / 0 Comments

              abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…

              + More details
              • Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

                53:31

                from Galois Video / Added

                128 Plays / / 0 Comments

                abstract: As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn the table…

                + More details
                • Verification of Galois Field Multipliers

                  01:16:26

                  from Galois Video / Added

                  415 Plays / / 0 Comments

                  abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…

                  + More details
                  • Candid Experiences from a Hardware Startup

                    01:05:56

                    from Galois Video / Added

                    214 Plays / / 0 Comments

                    abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to…

                    + More details
                    • Model-based Code Generation and Debugging of Concurrent Programs

                      01:02:29

                      from Galois Video / Added

                      98 Plays / / 0 Comments

                      abstract: Design and implementation of distributed systems often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanticipated physical…

                      + More details

                      Browse 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