Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
tools
biblio
Tools for Investigating the Phishing Attacks Dynamics
Submitted by
grigby1
on Tue, 11/26/2019 - 2:48pm
a phase portrait
chaos
chaos theory
Coherence
Computer crime
computer network security
estimation
Human behavior
human factor
Phishing
phishing attacks detection
phishing attacks dynamics
phishing attacks occurrence
pubcrawl
Stability analysis
the chaos theory
tools
wavelet analysis
wavelet coherence
wavelet coherence.
wavelet transforms
biblio
A Methodical Overview on Phishing Detection along with an Organized Way to Construct an Anti-Phishing Framework
Submitted by
grigby1
on Tue, 11/26/2019 - 2:47pm
account details
Anti Phishing Working Group
Anti-phishing
Anti-Phishing framework
anti-phishing model
Banking
blacklisting
classification
Computer crime
credit card details
emails
feature extraction
Google
HTTPs
Human behavior
human factor
in-use anti-phishing tools
internet
machine learning
personal information
Phishing
phishing approaches
phishing attack
Phishing Detection
phishing Websites
phishy URL
pubcrawl
security and privacy
security attack
tools
Uniform resource locators
unsolicited e-mail
Web sites
website features
biblio
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
Analytical models
attack identification
automated unbounded verification
collaboration
composability
Compositionality
Computational modeling
Cryptographic Protocols
Cryptographic-Protocols
Cryptography
electronic payment protocols
equational theory
Exclusive-OR
exclusive-or operations
formal verification
Formal-Verification
Mathematical model
observational equivalence
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
radiofrequency identification
RFID protocols
Security Properties
stateful cryptographic protocols
symbolic model
Symbolic-Model
Tamarin
Tamarin prover
Theorem Proving
tools
user-defined equational theories
verification tool
XOR operations
XOR theory
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies
Submitted by
aekwall
on Tue, 10/22/2019 - 8:54am
security of data
Monitoring
IP networks
system-on-chip
pubcrawl
policy-based governance
Cryptography
tools
security architecture
Complexity theory
Engines
security policy
formal verification
alternative architecture
artifact
CAD
CAD flow
centralized infrastructure IP
complex steps
critical steps
efficient formal verification
expensive steps
flexible infrastructure IP
functional design flow
illustrative policies
industrial SoC
integrated circuit design
modern SoC design validation
off-the-shelf formal tools
Security Engine
security policy implementation
simulation-based security verification
SoC Security
SoC security policies
SoC Verification
streamlined verification
system-level security policies
verification time
verification tools
Security Policies Analysis
biblio
ROPMate: Visually Assisting the Creation of ROP-based Exploits
Submitted by
aekwall
on Mon, 10/14/2019 - 9:20am
Buildings
code reuse
composability
data analysis
data visualisation
Human behavior
Malware Analysis
program testing
programming
pubcrawl
Registers
Resiliency
return oriented programming
return-oriented programming
rop attacks
ROP chains
ROP Exploits
ROP-based attacks
ROP-based exploits
ROPMate
Scalability
security
security of data
semantically correct chains
semantically meaningful gadgets
software reliability
Task Analysis
tools
visual aids
visual analytics
visual analytics system
biblio
Function-Oriented Programming: A New Class of Code Reuse Attack in C Applications
Submitted by
aekwall
on Mon, 10/14/2019 - 9:19am
security of data
Scalability
Servers
Conferences
security
Linux
Resiliency
Human behavior
pubcrawl
composability
privacy
tools
address space layout randomization
ASLR
C Applications
C languages
C program
CFI
coarse-grained CFI
coarse-grained control-flow integrity
code injection attacks
code reuse attack
code reuse attacks
Control-hijacking attacks
COOP
Counterfeit Object-oriented Programming
data-execution prevention
DEP
existing function
fine-grained CFI technologies
FOP
FOP attack
FOP gadgets
function-oriented programming
JOP
Jump-Oriented Programming
Layout
Linux x64 environment
malicious program behavior
object-oriented programming
proftpd1.3.0 server
return-oriented programming
ROP
shadow stack technology
return oriented programming
biblio
A Threat Modeling Approach for Cloud Storage Brokerage and File Sharing Systems
Submitted by
grigby1
on Thu, 09/26/2019 - 9:42am
Cloud Computing
Cloud Security
security
risk management
security of data
tools
Computational modeling
resilience
pubcrawl
Human behavior
Metrics
Resiliency
composability
Measurement
Mathematical model
Data models
trees (mathematics)
storage management
attack tree
Security Metrics
Human Factors
Peer-to-peer computing
security challenges
Threat Modeling
cloud stakeholders
Cloud storage brokerage systems
Cloud Storage Brokers
cloud storage complexities
Cloud storage Enumeration Attack
Cloud Storage Exploitation Attack
cloud storage systems
Cloud-Security
Common Configuration Scoring System
comprehensive risk assessments
conflicting security policies
file sharing systems
identified security risks
Secure Configuration
security risk assessment
threat modeling schema
threat models
Secure File Sharing
biblio
Locating SQL Injection Vulnerabilities in Java Byte Code Using Natural Language Techniques
Submitted by
grigby1
on Thu, 09/26/2019 - 9:25am
code analysis
code analysis tools
collaboration
Decision trees
Human behavior
Human Factors
Java
Java byte code
Java program
Metrics
natural language processing
natural language techniques
policy-based governance
program diagnostics
pubcrawl
Python
resilience
Resiliency
Safe Coding
Secure Coding
security
security of data
singular decision trees
Software
software vulnerabilities
source code (software)
SQL
SQL injection
SQL injection vulnerabilities
standards
Text Mining
tools
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
1
2
3
4
5
6
7
8
9
…
next ›
last »
