Sciweavers

    405 search results - page 2 / 81
    » Practice-Oriented Provable Security
    Sort
    View
    ISCA
    2011
    IEEE
    269views Hardware» more  ISCA 2011»
    Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
    12 years 9 months ago
    Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
    Download  www.cs.ucsb.edu
    High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
    Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...
    claim paper
    Read More »
    POST
    2012
    181views more  POST 2012»
    Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
    12 years 25 days ago
    Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
    Download  people.inf.ethz.ch
    Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...
    David A. Basin, Cas J. F. Cremers, Simon Meier
    claim paper
    Read More »
    ICDE
    2006
    IEEE
    115views Database» more  ICDE 2006»
    Provable Security for Outsourcing Database Operations
    14 years 6 months ago
    Provable Security for Outsourcing Database Operations
    Download  lehre.wiwi.hu-berlin.de
    Sergei Evdokimov, Matthias Fischmann, Oliver G&uum...
    claim paper
    Read More »
    CSFW
    2009
    IEEE
    100views Security Privacy» more  CSFW 2009»
    A Provably Secure and Efficient Countermeasure against Timing Attacks
    13 years 9 months ago
    A Provably Secure and Efficient Countermeasure against Timing Attacks
    Download  www.infsec.cs.uni-saarland.de
    Boris Köpf, Markus Dürmuth
    claim paper
    Read More »
    CCS
    2006
    ACM
    97views Security Privacy» more  CCS 2006»
    Provably secure password-based authentication in TLS
    13 years 9 months ago
    Provably secure password-based authentication in TLS
    Download  www.di.ens.fr
    Michel Abdalla, Emmanuel Bresson, Olivier Chevassu...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.