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
Libraries
biblio
In Search of CurveSwap: Measuring Elliptic Curve Implementations in the Wild
Submitted by
aekwall
on Wed, 05/01/2019 - 12:37pm
Cryptographic Protocols
curve twist attacks
curve validity checks
CurveSwap attack
Elliptic curve cryptography
elliptic curve parameter downgrade attack
Elliptic curves
HTTPS hosts
internet
internet scanning
internet-wide scans
invalid curve attacks
IPsec
Libraries
Metrics
Protocols
pubcrawl
Resiliency
Scalability
server vulnerability
Servers
SSH hosts
standards
TLS handshake
transport layer protocol
transport protocols
twist attacks
biblio
Software Ecosystem Call Graph for Dependency Management
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
security of data
security
Software
Resiliency
pubcrawl
composability
tools
Libraries
software engineering
automated tools
call graphs
centralized code repositories
client-server systems
Computer bugs
core package
counter measure
dependencies
dependency checkers
Dependency management
dependency networks
developers
ecosystem-level
Ecosystems
Equifax data breach
external libraries
fine-grained dependency network
impact
indicative information
leftpad package removal
open source software libraries
packages
popular form
program analysis
public domain software
software development management
software ecosystem
software libraries
software reusability
Software reuse
workspace
Automated Secure Software Engineering
biblio
.Net library for SMS spam detection using machine learning: A cross platform solution
Submitted by
aekwall
on Mon, 02/25/2019 - 11:40am
Algorithms
classification
Classification algorithms
clustering
Clustering algorithms
cross platform .Net development
C\#
C\# languages
C\# library
detection
electronic messaging
email spam detection
filtering algorithms
Human behavior
learning (artificial intelligence)
Libraries
machine learning
machine learning algorithms
Metrics
Net library
online detection
pattern classification
pubcrawl
random forest algorithm
random processes
Scalability
security of data
short message service
SMS
SMS spam detection
spam dataset classification
spam detection
spam filter
spam messages
tools
unsolicited e-mail
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 11:20am
security
security of data
Software
tools
pubcrawl
Metrics
composability
taint analysis
program debugging
program testing
Libraries
fuzzing
program diagnostics
bug finding
code paths
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing transformed programs
input checks
input mutation techniques
program analysis
program transformation
program verification
randomly generated inputs
software bugs
symbolic execution-based approach
t-fuzz approach
biblio
Reducing Attack Surface via Executable Transformation
Submitted by
grigby1
on Fri, 02/08/2019 - 4:32pm
security
security of data
Software
Productivity
resilience
pubcrawl
Metrics
Resiliency
Scalability
Complexity theory
Conferences
telecommunication security
attack surface
Binary
binary transformation
constant demands
de-bloat software binaries
Debloat
deployment practices
executable transformation
individual approaches
individual decisions
Late Stage Customization
Libraries
maximal code reuse
minimal developer effort
modern software development
Navy
obscure use cases
office of naval research
ONR
overwhelming emphasis
programmers productivity
software engineering
software engineering history
software maintenance
software reusability
total platform cyber protection
TPCP
biblio
Detection of DDoS attack via deep packet analysis in real time systems
Submitted by
grigby1
on Wed, 09/12/2018 - 11:25am
resilience
Cyber Attacks
pubcrawl
Resiliency
Scalability
Radiation detectors
internet
Databases
Computer crime
computer network security
Monitoring
Filtering
telecommunication traffic
Libraries
DDoS Attack
real-time systems
deep packet inspection
cyber security
deep packet analysis
Internet technologies
known attack patterns
packet filtering
real time systems
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by
grigby1
on Thu, 08/23/2018 - 11:57am
security
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
data structures
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
Information Leakage
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
information-flow control tools
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
biblio
The fuzzy control of trust establishment
Submitted by
grigby1
on Thu, 08/23/2018 - 11:47am
Access Control
attribute certificate
authorisation
Automated Trust Negotiation
computer theory
digital credentials
Fuzzy
fuzzy control
fuzzy negotiation process
fuzzy set theory
Fuzzy sets
Human behavior
Human Factors
Libraries
model
mutual trust
negotiation process
negotiation strategy need
open network environment
process control
pubcrawl
Servers
strange entities
traditional ATN
trust
trust establishment
Trusted Computing
unnecessary negotiation failure
biblio
Scalable Framework for Accurate Binary Code Comparison
Submitted by
grigby1
on Wed, 06/20/2018 - 12:50pm
static analysis
graph theory
privacy
pubcrawl
Human behavior
invasive software
Algorithm design and analysis
tools
Semantics
Cloning
program diagnostics
Malware Analysis
resilience
Metrics
Libraries
Computer bugs
Resiliency
program debugging
Program slicing
Binary codes
accurate binary code comparison
backward slicing
binary code clone detection
Binary code comparison
binary files
Binnavi platform
calculated heuristics
call graph
CG
comparison algorithm
empiric results heuristic method
exact matches
extensive binaries
forward slicing
functions matching process parallelization
heavily modified functions
high matching quality
IdaPro disassembler
main stages
matched vertices
matching process
maximum common subgraph
old versions
PDG
practical applications
program dependence graph
programmatic changes
real world libraries
scalable framework
slightly modified functions
statically linked libraries
target program
unchanged modified functions
well-known bugs prevention
biblio
Analysis of Android Malware Family Characteristic Based on Isomorphism of Sensitive API Call Graph
Submitted by
grigby1
on Wed, 06/20/2018 - 12:49pm
Algorithm design and analysis
android
Android (operating system)
Android Malware family characteristic analysis
Androids
application program interfaces
call graph structures
graph similarity metric
graph theory
Heuristic algorithms
Human behavior
Humanoid robots
invasive software
Libraries
malware
Malware Analysis
malware instances
Metrics
Mobile communication
privacy
pubcrawl
resilience
Resiliency
sensitive API call graph
static analysis approach
1
2
3
4
next ›
last »
