Sciweavers

    1599 search results - page 17 / 320
    » Program Analysis for Security and Privacy
    Sort
    View
    CSFW
    2010
    IEEE
    233views Security Privacy» more  CSFW 2010»
    Dynamic vs. Static Flow-Sensitive Security Analysis
    15 years 9 months ago
    Dynamic vs. Static Flow-Sensitive Security Analysis
    Download  www.cse.chalmers.se
    —This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
    Alejandro Russo, Andrei Sabelfeld
    claim paper
    Read More »
    SAFECOMP
    2007
    Springer
    172views Security Privacy» more  SAFECOMP 2007»
    Formal Specification and Analysis of AFDX Redundancy Management Algorithms
    15 years 12 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 »
    SAFECOMP
    2004
    Springer
    73views Security Privacy» more  SAFECOMP 2004»
    Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
    15 years 11 months ago
    Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
    Download  www.uni-ulm.de
    Holger Pfeifer, Friedrich W. von Henke
    claim paper
    Read More »
    ESORICS
    2011
    Springer
    173views Security Privacy» more  ESORICS 2011»
    Who Wrote This Code? Identifying the Authors of Program Binaries
    14 years 5 months ago
    Who Wrote This Code? Identifying the Authors of Program Binaries
    Download  ftp.cs.wisc.edu
    Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
    Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller
    claim paper
    Read More »
    ACSAC
    2007
    IEEE
    143views Security Privacy» more  ACSAC 2007»
    Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
    16 years 6 days ago
    Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
    Download  www.acsac.org
    We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
    Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
    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.