Skip to contents

  1. Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6602

  2. Melicher, Darya [Author]; Shi, Yangqingwei [Author]; Potanin, Alex [Author]; Aldrich, Jonathan [Author] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [Contributor]

    A Capability-Based Module System for Authority Control

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  3. Melicher, Darya [Author]; Shi, Yangqingwei [Author]; Potanin, Alex [Author]; Aldrich, Jonathan [Author] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [Contributor]

    A Capability-Based Module System for Authority Control (Artifact)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  4. Küsters, Ralf [Author]; Truderung, Tomasz [Author]; Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Kirsten, Michael [Author]; Mohr, Martin [Author]

    A Hybrid Approach for Proving Noninterference of Java Programs

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    KITopen (Karlsruhe Institute of Technologie), 2020-11-17

  5. Backes, Michael [Author]; Maffei, Matteo [Author]; Unruh, Dominique [Author] ; Michael Backes and Matteo Maffei and Dominique Unruh [Contributor]

    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  6. Scheibelhofer, Elisabeth [Author]; Holzinger, Clara [Author]; Draxl, Anna-Katharina [Author]

    Linguistic Diversity as a Challenge for Street-Level Bureaucrats in a Monolingually-Oriented Organisation

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Social Inclusion ; 9(2021), 1, Seite 24-34

  7. Aura, Tuomas [Author] ; Järvinen, Kimmo [Other]; Nyberg, Kaisa [Other]

    Information Security Technology for Applications : 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Published in: Lecture notes in computer science ; 7127

  8. Becker, Georg T. [Author]; Kasper, Markus [Author]; Moradi, Amir [Author]; Paar, Christof [Author]

    Side-channel based watermarks for integrated circuits

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2010-01-01

    Published in: Proceedings of the 2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) : 13-14 June 2010, Anaheim Convention Center, California, USA

  9. Barthe, Gilles [Author]

    Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6602

  10. ISO/IEC JTC 1/SC 27 IT Sicherheitsverfahren, ISO/IEC JTC 1/SC 27 IT Security techniques, ISO/CEI JTC 1/SC 27 Techniques de sécurité des technologies de l'information, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 27563 : Security and privacy in artificial intelligence use cases - Best practices - [2023-05-00]

    Standards
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Geneve: International Organization for Standardization, 2023

    Published in: ISO-Regelwerk- ISO-Normen

  11. Bethell, George [Author]; Harutyunyan, Karine [Author]

    The Development of the Student Assessment System in the Republic of Armenia : Achievements, Challenges, and Lessons Learned

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    World Bank, Washington, DC, 2015

    Published in: Systems Approach for Better Education Results (SABER) student assessment working paper,no. 13