static analysis

biblio

TrustSign: Trusted Malware Signature Generation in Private Clouds Using Deep Feature Transfer Learning

Submitted by grigby1 on Fri, 07/10/2020 - 1:08pm

supervised classifiers
Metrics
neural nets
private clouds
program diagnostics
pubcrawl
ransomware samples
resilience
Resiliency
static analysis
malware
transfer learning
Trusted Computing
trusted malware signature generation method
TrustSign signature generation process
unsupervised classifier
Unsupervised Learning
VGG-19 neural network model
virtualisation
volatile memory
distribution time
Cloud Computing
cloud virtualization technology
convolutional neural networks
Cryptography
cryptojacking
cryptojacking attacks
deep feature transfer learning
deep learning
digital signatures
Automatic Signature Generation
dynamic analysis
fileless malware
high-level deep features
Human behavior
Human Factors
ImageNet dataset
in-browser cryptojacking attacks
inspection procedure
invasive software

biblio

Dine and Dash: Static, Dynamic, and Economic Analysis of In-Browser Cryptojacking

Submitted by grigby1 on Fri, 07/10/2020 - 1:07pm

Human Factors
Web sites
Web browser fingerprinting
Unsupervised Learning
static analysis
Resiliency
resilience
pubcrawl
Metrics
malicious JavaScript codes
Java
internet
in-browser cryptojacking
code complexities
Human behavior
economic analysis
dynamic analysis
dropzone cryptojacking server
cryptojacking scripts
cryptojacking attackers
cryptojacking
Cryptography
computer network security
codes
code-based categorization

biblio

The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)

Submitted by grigby1 on Fri, 06/26/2020 - 1:18pm

IoT security
verification engineering of safety and security critical dynamic industrial applications
tools
static analysis
Source code analysis
software fault tolerance
Software
security of data
Security and Safety Analysis
security
Safety
Resiliency
pubcrawl
program diagnostics
Metrics
certification
IoT
Internet of Things
high-criticality applications
formal verification
Formal Specification
formal methods
European H2020 project VESSEDIA
Europe
embedded systems
Cyber-security
cyber-physical systems
cyber-attacks
connected systems security
composability

biblio

An Efficient Greybox Fuzzing Scheme for Linux-based IoT Programs Through Binary Static Analysis

Submitted by grigby1 on Mon, 03/23/2020 - 4:16pm

IoT firmware kernel greybox fuzzer
vulnerabilities discovery
static binary analysis.
security of data
Router Systems Security
resilience
real-world Linux-based IoT programs
program diagnostics
Metrics
Linux-based IoT program
Linux
IoT program greybox fuzzing
static analysis
Internet of Things
fuzzing
firmware
embedded security
effective vulnerability discovery technique
binary static analysis
Resiliency
composability
Human behavior
pubcrawl

biblio

Defending against ROP Attacks with Nearly Zero Overhead

Submitted by grigby1 on Mon, 03/23/2020 - 3:58pm

Training
Monitoring
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
Scalability
composability
Runtime
Libraries
Memory management
programming
static analysis
rop attacks

biblio

Cyberthreat Hunting - Part 1: Triaging Ransomware using Fuzzy Hashing, Import Hashing and YARA Rules

Submitted by aekwall on Mon, 03/23/2020 - 1:25pm

static analysis
Locky
program diagnostics
pubcrawl
Ransomware
ransomware pandemic prevention
SDHASH
Semantics
Similarity Preserving
SSDEEP
invasive software
Syntactics
System performance
Triaging
triaging performance
triaging ransomware
WannaCry
WannaCryptor
YARA rules
CryptoWall
Resiliency
Metrics
Fuzzy Cryptography
Cer-ber
Cerber
composability
Context-Triggered Piecewise Hashing
Cryptography
Scalability
cyberthreat hunting
data privacy
dynamic analysis
Engines
file organisation
Fuzzy Hashing
IM-PHASH
Import Hashing

biblio

Ares: Inferring Error Specifications through Static Analysis

Submitted by aekwall on Mon, 03/09/2020 - 11:13am

program debugging
predictability
Security Heuristics
reliability flaws
error specification
error handling blocks
error handling
Ares
API-related defects
security
application program interfaces
program diagnostics
program testing
static analysis
pubcrawl
Resiliency
Scalability
security of data

biblio

Leveraging SecDevOps to Tackle the Technical Debt Associated with Cybersecurity Attack Tactics

Submitted by aekwall on Mon, 02/10/2020 - 12:11pm

software quality
software assurance
technical debt principal
technical consequences
static analysis techniques
source code maintenance
SecDevOps
malicious external attacks
malicious attack tactics
external cybersecurity attacks
external attack tactics
exploitable source code vulnerabilities
cybersecurity attack tactics
Common Weakness Enumerations
system weaknesses
technical debt
security of data
quality assurance
Scalability
program diagnostics
source code (software)
software maintenance
static analysis
computer security
Cybersecurity
tools
composability
pubcrawl
Software measurement
Software
Organizations

biblio

Towards Better Utilizing Static Application Security Testing

Submitted by aekwall on Mon, 02/10/2020 - 12:10pm

SAST techniques
vulnerability warnings
utilization of software engineering tools
static program analysis
static bug detection
static application security testing
software reliability
software quality
software assurance
security of data
security experts
Scalability
static analysis
SAST product
quality-assurance effort
program testing
program diagnostics
Priv
data visualisation
actionable vulnerability warnings
Resiliency
composability
Human behavior
pubcrawl

biblio

Towards Automated Security Vulnerability and Software Defect Localization

Submitted by grigby1 on Mon, 02/10/2020 - 11:36am

program diagnostics
undiscovered vulnerabilities
tools
static code analysis
Software systems
software maintenance
software defects
software defect localization
software defect
security vulnerability
security vulnerabilities
security of data
security
resilience
static analysis
modern software
Defect Localization
Cybersecurity
Correlation
Computer bugs
bug
automated security vulnerability
Automated Secure Software Engineering
Resiliency
composability
Human behavior
pubcrawl

« first
‹ previous
…
9
10
11
12
13
14
15
16
17
…
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

static analysis

TrustSign: Trusted Malware Signature Generation in Private Clouds Using Deep Feature Transfer Learning

Dine and Dash: Static, Dynamic, and Economic Analysis of In-Browser Cryptojacking

The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)

An Efficient Greybox Fuzzing Scheme for Linux-based IoT Programs Through Binary Static Analysis

Defending against ROP Attacks with Nearly Zero Overhead

Cyberthreat Hunting - Part 1: Triaging Ransomware using Fuzzy Hashing, Import Hashing and YARA Rules

Ares: Inferring Error Specifications through Static Analysis

Leveraging SecDevOps to Tackle the Technical Debt Associated with Cybersecurity Attack Tactics

Towards Better Utilizing Static Application Security Testing

Towards Automated Security Vulnerability and Software Defect Localization