• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    Multi-run side-channel analysis using Symbolic Execution and Max-SMT 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Multi-run side-channel analysis using Symbolic Execution and Max-SMT
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • Multi-run side-channel analysis using Symbolic Execution and Max-SMT
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Multi-run side-channel analysis using Symbolic Execution and Max-SMT

    View/Open
    Accepted Version (277.3Kb)
    Pagination
    387 - 400
    DOI
    10.1109/CSF.2016.34
    ISSN
    1063-6900
    Metadata
    Show full item record
    Authors
    Pasareanu, CS; Phan, Q-S; Malacaria, P; IEEE
    URI
    http://qmro.qmul.ac.uk/xmlui/handle/123456789/12478
    Collections
    • Electronic Engineering and Computer Science [2358]
    Copyright statements
    © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.