1,721,164 research outputs found

    Formal and Computational Cryptography: Protocols, Hashes and Commitments

    Full text link
    Contains fulltext : 40158_formancoc.pdf (Publisher’s version ) (Open Access)Radboud University Nijmegen, 09 mei 2008Promotor : Jacobs, B.P.F.141 p

    Practical hardware and software add-ons to enhance the security of mobile device operations

    Full text link
    Contains fulltext : 157589.pdf (Publisher’s version ) (Open Access)RU Radboud Universiteit, 13 juni 2016Promotor : Jacobs, B.P.F. Co-promotor : Poll, E.XXIII, 156 p

    Implementation Aspects of Security and Privacy in Embedded Design

    No full text
    Contains fulltext : 135130.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen\KU Leuven, 11 maart 2014Promotores : Verbauwhede, I.M.R., Jacobs, B.P.F.155 p

    The Category of Von Neumann Algebras

    Full text link
    Contains fulltext : 201611.pdf (Publisher’s version ) (Open Access)Radboud University, 14 mei 2019Promotor : Jacobs, B.P.F.223 p

    Lessons learned in the analysis of the EMV and TLS security protocols

    Full text link
    Contains fulltext : 142874.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 27 augustus 2015Promotor : Jacobs, B.P.F. Co-promotor : Poll, E.XI, 127 p

    Categorical approaches to computations in contextuality and causality

    Full text link
    Contains fulltext : 208548.pdf (Publisher’s version ) (Open Access)Radboud University, 11 november 2019Promotor : Jacobs, B.P.F. Co-promotores : Kissinger, A.R., Staton, Samix, 193 p

    Enrichment in Categorical Quantum Foundations

    Full text link
    Contains fulltext : 199721.pdf (Publisher’s version ) (Open Access)Radboud University, 09 januari 2019Promotor : Jacobs, B.P.F. Co-promotor : Staton, Samv, 143 p

    Categorical quantum models and logics

    Full text link
    Contains fulltext : 74875.pdf (Publisher’s version ) (Open Access)RU Radboud Universiteit Nijmegen, 07 januari 2010Promotores : Jacobs, B.P.F., Landsman, N.P.205 p

    Attribute-based identity management : [bridging the cryptographic design of ABCs with the real world]

    Full text link
    Contains fulltext : 135177.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 15 januari 2015Promotor : Jacobs, B.P.F. Co-promotor : Hoepman, J.H.158 p

    Physical Security Analysis of Embedded Devices

    Full text link
    Contains fulltext : 158436.pdf (Publisher’s version ) (Open Access)RU Radboud Universiteit, 05 juli 2016Promotor : Jacobs, B.P.F. Co-promotor : Batina, L.149 p
    corecore