Cock

Results: 269



#Item
21The Last Mile An Empirical Study of Timing Channels on seL4 David Cock, Qian Ge, Toby Murray, Gernot Heiser NICTA and UNSW, Sydney, Australia , , , gern

The Last Mile An Empirical Study of Timing Channels on seL4 David Cock, Qian Ge, Toby Murray, Gernot Heiser NICTA and UNSW, Sydney, Australia , , , gern

Add to Reading List

Source URL: research.davidcock.fastmail.fm

Language: English - Date: 2014-11-20 18:54:22
    22Practical Probability: Applying pGCL to Lattice Scheduling David Cock NICTA and University of New South Wales

    Practical Probability: Applying pGCL to Lattice Scheduling David Cock NICTA and University of New South Wales

    Add to Reading List

    Source URL: research.davidcock.fastmail.fm

    Language: English - Date: 2014-11-20 18:54:55
      23David Cock L Lyrebird

      David Cock L Lyrebird

      Add to Reading List

      Source URL: research.davidcock.fastmail.fm

      Language: English - Date: 2014-11-20 18:55:28
        2410 Years of Trustworthy Systems David Cock seL4

        10 Years of Trustworthy Systems David Cock seL4

        Add to Reading List

        Source URL: research.davidcock.fastmail.fm

        Language: English - Date: 2014-11-20 18:55:51
          25Bitfields and Tagged Unions in C – Verification through Automatic Generation David Cock Sydney Research Lab., NICTA? , Australia Abstract. We present a tool for automatic generation of packed bitfields and tagged

          Bitfields and Tagged Unions in C – Verification through Automatic Generation David Cock Sydney Research Lab., NICTA? , Australia Abstract. We present a tool for automatic generation of packed bitfields and tagged

          Add to Reading List

          Source URL: research.davidcock.fastmail.fm

          Language: English - Date: 2014-11-20 18:54:51
            26From Operational Models to Information Theory; Side Channels in pGCL with Isabelle David Cock NICTA and University of New South Wales

            From Operational Models to Information Theory; Side Channels in pGCL with Isabelle David Cock NICTA and University of New South Wales

            Add to Reading List

            Source URL: research.davidcock.fastmail.fm

            Language: English - Date: 2014-11-20 18:54:47
              27Navigating the (Systems) Literature The Way Things Are David Cock

              Navigating the (Systems) Literature The Way Things Are David Cock

              Add to Reading List

              Source URL: research.davidcock.fastmail.fm

              Language: English - Date: 2014-11-20 18:56:01
                28COCK TAILS house libations wine by the gl ass

                COCK TAILS house libations wine by the gl ass

                Add to Reading List

                Source URL: www.jp-atlanta.com

                Language: English - Date: 2015-12-28 17:14:56
                  29COCK TAILS 15 South Island Sling gin | grapefruit shrub | ruby port | singapore bitters | maple | lime | soda

                  COCK TAILS 15 South Island Sling gin | grapefruit shrub | ruby port | singapore bitters | maple | lime | soda

                  Add to Reading List

                  Source URL: www.musketroom.com

                  Language: English - Date: 2016-02-23 10:49:03
                    30Hospital and Community Volunteer (Reference No: Location: St Bartholomew’s Hospital (Barts), West Smithfield, London EC1A 7BE and Barts Charity, 12 Cock Lane, London EC1A 9BU

                    Hospital and Community Volunteer (Reference No: Location: St Bartholomew’s Hospital (Barts), West Smithfield, London EC1A 7BE and Barts Charity, 12 Cock Lane, London EC1A 9BU

                    Add to Reading List

                    Source URL: www.bartscharity.org.uk

                    Language: English - Date: 2016-03-06 15:12:06