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
reverse engineering
biblio
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
automatic tools
C libraries
C programming language
codelevel reverse engineering
composability
documentation
extract security protocols
formal model
Formal Specification
formal verification
human-dependent approach
Libraries
Metrics
object oriented security
object-oriented languages
object-oriented programming
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
security of data
security protocol specifications
security protocols
Software
Task Analysis
tools
biblio
Random Seed Generation For IoT Key Generation and Key Management System Using Blockchain
Submitted by
aekwall
on Mon, 03/23/2020 - 1:19pm
IoT
Scalability
encryption
Internet of Things
Resiliency
Human behavior
pubcrawl
Metrics
blockchain
Public key
Fabrics
Hyperledger Fabric
key
Out-of-Band
Public Key Distribution
Random Seed
reverse engineering
Seed
random key generation
biblio
Scalable Translation Validation of Unverified Legacy OS Code
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
security
Linux
Resiliency
pubcrawl
tools
Formal Specification
program verification
cognition
Scalability
operating systems (computers)
Semantics
reverse engineering
Predictive Metrics
Compositionality
XML
formal verification
operating systems
scalable verification
ARM instructions
ARM machines
ARM specification language
ARMv8 ISA
formal reasoning
formal validation
functional security properties
Google Zircon
large-scale production operating system
Linux OS
multiple high-level source languages
PVS7 theorem prover
radare2 reverse engineering tool
specification languages
Theorem Proving
translation validation
unverified legacy OS code
biblio
Special Session: Countering IP Security Threats in Supply Chain
Submitted by
grigby1
on Thu, 03/12/2020 - 12:09pm
Data models
electronic engineering computing
Human behavior
integrated circuit design
integrated circuit fabrication
integrated circuit manufacture
integrated circuit technology
integrated circuits
internet
invasive software
IP security threats
learning (artificial intelligence)
learning-based trust verification
logic design
logic locking schemes
machine learning
Monitoring
production engineering computing
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
Scalability
Supply Chain
supply chain management
supply chain security
tagging
telecommunication security
Training
Trojan insertion
Valves
biblio
Golden Gates: A New Hybrid Approach for Rapid Hardware Trojan Detection Using Testing and Imaging
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
backside ultra thinning
commercial systems
cyber physical systems
detection method
exhaustive test infrastructure
existing gate footprints
Foundries
GGC
golden chip
golden gate circuits
grave threat
Hardware
Hardware Trojans
high classification accuracy
high time cost
Image analysis
Imaging
integrated circuits
invasive software
Logic gates
Logic Test
low accuracy
malicious modifications
microscopy
modern military systems
new hybrid approach
pubcrawl
rapid hardware trojan detection
resilience
Resiliency
reverse engineering
scanning electron microscopy
security
SEM images
superlative accuracy
supply chain security
trojan horse detection
Trojan horses
biblio
Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives
Submitted by
grigby1
on Mon, 02/17/2020 - 5:07pm
bitlocker
critical security weaknesses
Cryptography
Data protection
encryption
encryption software
external models
firmware
flash memories
Hardware
hardware full-disk encryption
hardware-encryption
Human behavior
internal models
Metrics
microsoft windows
password
peripheral interfaces
policy-based governance
pubcrawl
resilience
Resiliency
reverse engineering
security guarantees
security weaknesses
Software
solid state drives
SSD
standards
vulnerabilities
biblio
Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization
Submitted by
grigby1
on Mon, 02/10/2020 - 11:35am
Asm2Vec
assembly clone search engine
assembly code representation learning model
assembly function
binary clone search
Binary-Code-Search
Cloning
code obfuscation techniques
compiler optimization options
composability
dynamic clone search approaches
feature engineering process
Human behavior
invasive software
learning (artificial intelligence)
lexical semantic relationships
malware
optimising compilers
optimization
optimizations
program assemblers
pubcrawl
Representation-Learning
resilience
Resiliency
reverse engineering
robust clone search engine
robust vector representation
search engines
search problems
Semantics
Software
static code analysis
static representation robustness
Static-Analysis
Syntactics
vector representation
Vectors
Vulnerability-Search
biblio
FPGA-oriented moving target defense against security threats from malicious FPGA tools
Submitted by
aekwall
on Mon, 09/09/2019 - 10:48am
security of data
field programmable gate arrays
FPGA
Hardware
security
Table lookup
Resiliency
pubcrawl
Trojan horses
security threats
Hardware Security
Scalability
Benchmark testing
moving target defense
defense lines
FOMTD
FPGA configuration
FPGA design suite
FPGA emulation results
FPGA hardware-software providers
FPGA security
FPGA users
FPGA-oriented MTD method
hardware trojan
malicious FPGA tools
moving target defense principle
reverse engineering
target defense
Xilinx
Predictive Metrics
biblio
DoSE: Deobfuscation Based on Semantic Equivalence
Submitted by
grigby1
on Mon, 08/05/2019 - 11:35am
code cloning
collaboration
control-flow graph
deobfuscation
false trust
Malware Analysis
obfuscation
opaque predicate
policy-based governance
pubcrawl
resilience
Resiliency
reverse engineering
Scalability
Symbolic Execution
biblio
PIITracker: Automatic Tracking of Personally Identifiable Information in Windows
Submitted by
aekwall
on Wed, 05/01/2019 - 1:04pm
Dynamical Systems
reverse engineering
Dynamic Information Flow Tracking
Metrics
privacy
composability
pubcrawl
Resiliency
1
2
3
next ›
last »
