Daniel

Results: 24996



#Item
741

Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    742

    Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory Daniel Gruss∗, Julian Lettner†, Felix Schuster, Olga Ohrimenko, Istvan Haller, Manuel Costa Microsoft Research Abstract Cache-bas

    Add to Reading List

    Source URL: gruss.cc

    - Date: 2017-08-03 10:03:39
      743

      Malware Guard Extension: Using SGX to Conceal Cache Attacks Michael Schwarz, Samuel Weiser, Daniel Gruss, Cl´ementine Maurice, and Stefan Mangard Graz University of Technology, Austria

      Add to Reading List

      Source URL: gruss.cc

      - Date: 2017-04-24 10:50:41
        744

        Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches Daniel Gruss, Raphael Spreitzer, and Stefan Mangard, Graz University of Technology https://www.usenix.org/conference/usenixsecurity15/technical-se

        Add to Reading List

        Source URL: www.usenix.org

        - Date: 2016-02-22 02:39:12
          745

          Daniel Bernoulli und Leonhard Euler in ihrem Briefwechsel (1726–1772) Zwei Vorträge und eine Buchpräsentation, organisiert vom Bernoulli-Euler-Zentrum an der Universität Basel Basel

          Add to Reading List

          Source URL: bez.unibas.ch

          - Date: 2016-11-17 11:46:01
            746

            Towards perspective-free object counting with deep learning Daniel O˜ noro-Rubio and Roberto J. L´opez-Sastre GRAM, University of Alcal´ a, Alcal´

            Add to Reading List

            Source URL: agamenon.tsc.uah.es

            - Date: 2016-07-28 06:50:46
              747

              Flush+Flush: A Fast and Stealthy Cache Attack Daniel Gruss, Cl´ementine Maurice† , Klaus Wagner, and Stefan Mangard Graz University of Technology, Austria Abstract. Research on cache attacks has shown that CPU caches

              Add to Reading List

              Source URL: gruss.cc

              - Date: 2016-05-12 04:58:22
                748

                Pose Estimation from a Single Depth Image for Arbitrary Kinematic Skeletons Daniel L. Ly1 , Ashutosh Saxena2 and Hod Lipson1 1 School of Mechanical and Aerospace Engineering, 2 Department of Computer Science

                Add to Reading List

                Source URL: pr.cs.cornell.edu

                - Date: 2011-06-26 03:12:38
                  749

                  A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

                  Add to Reading List

                  Source URL: homes.cs.washington.edu

                  - Date: 2017-06-23 18:20:16
                    750

                    Reason Isomorphically! Ralf Hinze Daniel W. H. James Computing Laboratory, University of Oxford,

                    Add to Reading List

                    Source URL: www.cs.ox.ac.uk

                    - Date: 2011-03-27 06:45:28
                      UPDATE