Sciweavers

    14850 search results - page 241 / 2970
    » The Security of
    Sort
    View
    SAFECOMP
    2007
    Springer
    121views Security Privacy» more  SAFECOMP 2007»
    Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
    16 years 1 months ago
    Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
    Download  swerl.tudelft.nl
    Willem Ridderhof, Hans-Gerhard Groß, Heiko D...
    claim paper
    Read More »
    SAFECOMP
    2007
    Springer
    172views Security Privacy» more  SAFECOMP 2007»
    Formal Specification and Analysis of AFDX Redundancy Management Algorithms
    16 years 1 months ago
    Formal Specification and Analysis of AFDX Redundancy Management Algorithms
    Download  rzv113.rz.tu-bs.de
    Jan Täubrich, Reinhard von Hanxleden
    claim paper
    Read More »
    SDMW
    2007
    Springer
    97views Security Privacy» more  SDMW 2007»
    Preventing Privacy-Invasive Software Using Collaborative Reputation Systems
    16 years 1 months ago
    Preventing Privacy-Invasive Software Using Collaborative Reputation Systems
    Download  www.bth.se
    Martin Boldt, Bengt Carlsson, Tobias Larsson, Nikl...
    claim paper
    Read More »
    FOCS
    2006
    IEEE
    122views Theoretical Computer Science» more  FOCS 2006»
    Input-Indistinguishable Computation
    16 years 1 months ago
    Input-Indistinguishable Computation
    Download  www.cs.cornell.edu
    We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
    Silvio Micali, Rafael Pass, Alon Rosen
    claim paper
    Read More »
    WPES
    2005
    ACM
    128views Security Privacy» more  WPES 2005»
    Coercion-resistant electronic elections
    16 years 29 days ago
    Coercion-resistant electronic elections
    Download  www.informatics.indiana.edu
    Ari Juels, Dario Catalano, Markus Jakobsson
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.