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
Mitigating JTAG as an Attack Surface
Submitted by
grigby1
on Fri, 08/28/2020 - 11:51am
attack surface
authorisation
BIT
boundary scan
boundary scan architecture
boundary scan testing
Built-In Test
chip lock
computer debugging
Cryptography
debug architectures
depot system repair
embedded systems
firmware
IEEE 1149.1
IEEE standards
joint test action group standards
JTAG
JTAG interface
JTAG test access ports
JTAG-based debug
key registers
key systems
materiel availability issues
Metrics
microprocessor chips
on-chip embedded instrumentation
private instructions
pubcrawl
resilience
Resiliency
reverse engineering
Scalability
security
standard test access port
system memory
biblio
A New Technique for Detecting Android App Clones Using Implicit Intent and Method Information
Submitted by
aekwall
on Mon, 08/10/2020 - 10:32am
Scalability
encryption
malware
invasive software
mobile computing
feature extraction
Resiliency
Human behavior
pubcrawl
tools
Data mining
Android (operating system)
reverse engineering
Android ecosystem
Metrics
Code Obfuscation
Andorid app
Android app clones detection
class method
clone detection
Cloning
code obfuscation techniques
implicit intents
intent
malicious codes
method information
online markets
repackaged apps
android encryption
biblio
Best of Both Worlds: Integration of Split Manufacturing and Camouflaging into a Security-Driven CAD Flow for 3D ICs
Submitted by
grigby1
on Thu, 07/30/2020 - 2:06pm
3D ICs
business models
CAD
composability
Cryptography
DRC-clean layouts
extensive security analysis
Foundries
Human behavior
Human Factors
industrial property
integrated circuit design
integrated circuit manufacture
integrated circuits
IP networks
IP piracy
ip protection
Layout
layout camouflaging
LC
malicious entities
manufacturing
manufacturing flow
manufacturing paradigm
Metrics
policy-based governance
production engineering computing
pubcrawl
resilience
Resiliency
reverse engineering
security
security-driven CAD flow
SM
split manufacturing
supply chains
Three-dimensional displays
biblio
Can Multi-Layer Microfluidic Design Methods Aid Bio-Intellectual Property Protection?
Submitted by
grigby1
on Thu, 07/30/2020 - 1:48pm
pubcrawl
policy-based governance
resilience
Resiliency
industrial property
composability
Nonhomogeneous media
Layout
Valves
reverse engineering
Three-dimensional displays
bioassay developer
bioassay implementation
biointellectual property protection
bioMEMS
biotechnology
Foundries
intellectual property rights
Lab-on-a-Chip
Microfluidics
Mixers
multilayer microfluidic design methods
Multiplexing
Product design
significant fiscal person-hour investment
skilled person-hour investment
ip protection
biblio
Healthcare IoT: Benefits, vulnerabilities and solutions
Submitted by
aekwall
on Mon, 07/20/2020 - 10:55am
Access Control
authorisation
Biomedical monitoring
composability
Computer crime
Cryptography
data privacy
health care
healthcare IoT
healthcare IoT system
implantable health gadgets
implantable medical devices
Internet of Things
medical computing
medical data
Medical diagnostic imaging
Medical services
Metrics
Mobile Applications
Monitoring
obfuscation
obfuscation technique
pubcrawl
Resiliency
return oriented programming techniques
reverse engineering
security
security defense
white box cryptography
biblio
[Research Paper] Combining Obfuscation and Optimizations in the Real World
Submitted by
aekwall
on Mon, 07/20/2020 - 10:55am
Cryptography
Kernel
Resiliency
pubcrawl
composability
Metrics
optimization
tools
optimisation
Heuristic algorithms
obfuscation
scheduling
Virtualization
reverse engineering
program compilers
Code Obfuscation
code obfuscator
code tangling techniques
industrial-strength obfuscator
Job shop scheduling
multicriteria optimization problem
pass combinations
pass ordering
pass scheduling problem
reverse engineer
rewriting systems
scheduling code transformations
sequential pass management techniques
tool-specific countermeasures
white-box encryption calls
white box cryptography
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
1
2
3
4
next ›
last »
