or cancel
  1. Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

    53:31

    from Galois Video / Added

    127 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

      404 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
      • Introduction to Logic Synthesis

        01:10:55

        from Galois Video / Added

        828 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
        • Trust relationship modeling for software assurance

          24:54

          from Galois Video / Added

          250 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
          • abcBridge: Functional Interfaces for AIGs & SAT Solving

            34:14

            from Galois Video / Added

            574 Plays / / 0 Comments

            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
            • Computers As We Don’t Know Them

              01:02:00

              from Galois Video / Added

              1,702 Plays / / 0 Comments

              For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/

              + More details
              • Developing Good Habits for Bare-Metal Programming

                01:10:17

                from Galois Video / Added

                1,887 Plays / / 0 Comments

                Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…

                + More details
                • PReach - A Distributed Murphi-Based Model Checker

                  38:56

                  from Galois Video / Added

                  524 Plays / / 0 Comments

                  Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…

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

                    01:04:07

                    from Galois Video / Added

                    510 Plays / / 0 Comments

                    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
                    • Large-Scale Static Analysis at Mozilla

                      01:00:40

                      from Galois Video / Added

                      2,233 Plays / / 1 Comment

                      Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…

                      + More details
                      • Databases are Categories

                        01:13:19

                        from Galois Video / Added

                        2,428 Plays / / 5 Comments

                        Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

                        + More details

                        Browse Videos

                        Galois Tech Talks” by Galois Video has 35 videos.

                        Follow

                        Browse This Channel

                        Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels