Search Results - "Memory"

Suggested Topics within your search.
Refine Results
  1. 6261
    Cover Image

    Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

    Published 2018
    Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 6262
    Cover Image

    Introduction to Neuroscience by Hedges, Valerie

    Published 2022
    Access online version
    Electronic eBook

    Save to List
    Saved in:
  3. 6263
    Cover Image

    George Moore and the Autogenous Self The Autobiography and Fiction by Grubgeld, Elizabeth

    Published 1994
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 6264
    Cover Image

    Corps et capital dans le roman français du XIXe siècle = Körper und Kapital im französischen Roman des 19. Jahrhunderts

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 6265
    Cover Image

    The Bodies That Remain

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 6266
    Cover Image

    Memoir American by Hollander, Benjamin

    Published 2013
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 6267
    Cover Image

    Securitization Revisited Contemporary Applications and Insights by Butler, Michael J.

    Published 2019
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 6268
    Cover Image

    Platonic Occasions: Dialogues on Literature, Art and Culture by Soderholm, James

    Published 2015
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 6269
    Cover Image

    The Forgotten Peace Mediation at Niagara Falls by Small, Michael

    Published 2010
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 6270
    Cover Image

    Advances in the study of Siouan languages and linguistics

    Published 2016
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 6271
    Cover Image

    Echoes of the Tambaran Masculinity, history and the subject in the work of Donald F. Tuzin by Lipset, David

    Published 2011
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 6272
    Cover Image

    Hydroxyapatite Coatings for Biomedical Applications

    Published 2013
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 6273
    Cover Image

    The Arc and the Sediment by Allen-Yazzie, Christine

    Published 2007
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 6274
    Cover Image

    Extinction Learning from a Mechanistic and Systems Perspective by Onur Gunturkun

    Published 2016
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 6275
    Cover Image

    Fragmentos do contemporâneo: leituras by Motta, Sérgio Vicente

    Published 2009
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 6276
    Cover Image

    Histamine in the Brain by Maria Beatrice Passani

    Published 2015
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 6277
    Cover Image

    Neuroscience Fifty years in learning and behavior: a neuroscience analytical listening review by Elisabetta Baldi

    Published 2017
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 6278
    Cover Image

    The Origin and Evolution of the Genetic Code: 100th Anniversary Year of the Birth of Francis Crick by Koji Tamura (Ed.)

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 6279
    Cover Image

    Principles and Practice of Case-based Clinical Reasoning Education: A Method for Preclinical Students by Eugène J.F.M. Custers

    Published 2017
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 6280
    Cover Image

    La Società Napoletana di Storia Patria e la costruzione della Nazione The Neapolitan Society of Homeland History and the Process of Nation Building in Italy by Antonella Venezia

    Published 2017
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: