Catalin

Results: 111



#Item
1United Technologies Research Center 411 Silver Lane East Hartford, CT7000 Dr. Catalin G. Fotache

United Technologies Research Center 411 Silver Lane East Hartford, CT7000 Dr. Catalin G. Fotache

Add to Reading List

Source URL: www.utrc.utc.com

Language: English - Date: 2017-09-29 15:53:46
    2What is secure compilation? Security goals and attacker models Cătălin Hrițcu Inria Paris 1

    What is secure compilation? Security goals and attacker models Cătălin Hrițcu Inria Paris 1

    Add to Reading List

    Source URL: prosecco.gforge.inria.fr

    Language: English - Date: 2018-05-14 13:24:16
      3SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu INRIA Paris

      SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu INRIA Paris

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      Language: English - Date: 2016-09-12 00:49:30
        4When Good Components Go Bad Formally Secure Compilation Despite Dynamic Compromise Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

        When Good Components Go Bad Formally Secure Compilation Despite Dynamic Compromise Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2018-05-17 07:14:15
          5What is secure compilation? Cătălin Hrițcu Inria Paris 1

          What is secure compilation? Cătălin Hrițcu Inria Paris 1

          Add to Reading List

          Source URL: prosecco.gforge.inria.fr

          Language: English - Date: 2017-01-14 13:09:44
            6Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

            Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

            Add to Reading List

            Source URL: prosecco.gforge.inria.fr

            Language: English - Date: 2016-08-28 06:03:35
              7Curriculum Vitae PERSONAL INFORMATION Ene Alexandru Cătălin IFIN-HH

              Curriculum Vitae PERSONAL INFORMATION Ene Alexandru Cătălin IFIN-HH

              Add to Reading List

              Source URL: www.nipne.ro

              Language: English - Date: 2018-06-08 18:07:57
                8Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Add to Reading List

                Source URL: seminaire-dga.gforge.inria.fr

                - Date: 2018-03-31 14:30:42
                  9Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                  Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                  Add to Reading List

                  Source URL: prosecco.gforge.inria.fr

                  - Date: 2018-02-05 12:35:03
                    10Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                    Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                    Add to Reading List

                    Source URL: prosecco.gforge.inria.fr

                    - Date: 2018-01-07 12:12:08