Sciweavers

    CCS
    2015
    ACM
    21views Security Privacy» more  CCS 2015»
    Automated Synthesis of Optimized Circuits for Secure Computation
    8 years 8 months ago
    Automated Synthesis of Optimized Circuits for Secure Computation
    Download  www.informatik.tu-darmstadt.de
    Daniel Demmler, Ghada Dessouky, Farinaz Koushanfar...
    claim paper
    Read More »
    CCS
    2015
    ACM
    12views Security Privacy» more  CCS 2015»
    The Limits of Composable Crypto with Transferable Setup Devices
    8 years 8 months ago
    The Limits of Composable Crypto with Transferable Setup Devices
    Download  infoscience.epfl.ch
    UC security realized with setup devices imposes that single instances of these setups are used. In most cases, UC-realization relies further on other properties of the setups devi...
    Ioana Boureanu, Miyako Ohkubo, Serge Vaudenay
    claim paper
    Read More »
    CCS
    2015
    ACM
    14views Security Privacy» more  CCS 2015»
    An Empirical Study of Web Vulnerability Discovery Ecosystems
    8 years 8 months ago
    An Empirical Study of Web Vulnerability Discovery Ecosystems
    Download  s2.ist.psu.edu
    In recent years, many organizations have established bounty programs that attract white hat hackers who contribute vulnerability reports of web systems. In this paper, we collect ...
    Mingyi Zhao, Jens Grossklags, Peng Liu
    claim paper
    Read More »
    CCS
    2015
    ACM
    11views Security Privacy» more  CCS 2015»
    Practical Context-Sensitive CFI
    8 years 8 months ago
    Practical Context-Sensitive CFI
    Download  www.lastline.com
    Current Control-Flow Integrity (CFI) implementations track control edges individually, insensitive to the context of preceding edges. Recent work demonstrates that this leaves suf...
    Victor van der Veen, Dennis Andriesse, Enes Gö...
    claim paper
    Read More »
    CCS
    2015
    ACM
    18views Security Privacy» more  CCS 2015»
    Identifying the Missing Aspects of the ANSI/ISA Best Practices for Security Policy
    8 years 8 months ago
    Identifying the Missing Aspects of the ANSI/ISA Best Practices for Security Policy
    Download  www.maths.adelaide.edu.au
    Firewall configuration is a critical activity for the Supervisory Control and Data Acquisition (SCADA) networks that control power stations, water distribution, factory automatio...
    Dinesha Ranathunga, Matthew Roughan, Phil Kernick,...
    claim paper
    Read More »
    CCS
    2015
    ACM
    6views Security Privacy» more  CCS 2015»
    Subversion-Resilient Signature Schemes
    8 years 8 months ago
    Subversion-Resilient Signature Schemes
    Download  eprint.iacr.org
    We provide a formal treatment of security of digital signatures against subversion attacks (SAs). Our model of subversion generalizes previous work in several directions, and is i...
    Giuseppe Ateniese, Bernardo Magri, Daniele Venturi
    claim paper
    Read More »
    SAFECOMP
    2015
    Springer
    16views Security Privacy» more  SAFECOMP 2015»
    Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic
    8 years 8 months ago
    Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic
    Download  www-users.cs.york.ac.uk
    Abstract. A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarante...
    Victor Bandur, John McDermid
    claim paper
    Read More »
    SAFECOMP
    2015
    Springer
    18views Security Privacy» more  SAFECOMP 2015»
    Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications
    8 years 8 months ago
    Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications
    Download  www.dcs.gla.ac.uk
    Chris W. Johnson
    claim paper
    Read More »
    SAFECOMP
    2015
    Springer
    22views Security Privacy» more  SAFECOMP 2015»
    Is Current Incremental Safety Assurance Sound?
    8 years 8 months ago
    Is Current Incremental Safety Assurance Sound?
    Download  www.cas.mcmaster.ca
    Abstract. Incremental design is an essential part of engineering. Without it, engineering would not likely be an economic, nor an effective, aid to economic progress. Further, eng...
    Valentin Cassano, Silviya Grigorova, Neeraj Kumar ...
    claim paper
    Read More »
    SAFECOMP
    2015
    Springer
    19views Security Privacy» more  SAFECOMP 2015»
    Sequential and Parallel Attack Tree Modelling
    8 years 8 months ago
    Sequential and Parallel Attack Tree Modelling
    Download  eprints.eemcs.utwente.nl
    The intricacy of socio-technical systems requires a careful planning and utilisation of security resources to ensure uninterrupted, secure and reliable services. Even though many s...
    Florian Arnold, Dennis Guck, Rajesh Kumar, Mari&eu...
    claim paper
    Read More »
    « first‹ previous…101112131415161718…next ›last »
    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.