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
Read-only archive of site from September 29, 2023.
CPS-VO
Runtime
biblio
Gradual Security Types and Gradual Guarantees
Submitted by grigby1 on Fri, 08/12/2022 - 1:09pm
Monitoring
pubcrawl
Resiliency
composability
Runtime
computer security
Metrics
Semantics
noninterference
compiler security
Refining
annotations
gradual guarantees
gradual typing
Information Flow Control
biblio
SoC Trust Validation Using Assertion-Based Security Monitors
Submitted by grigby1 on Fri, 08/12/2022 - 1:09pm
automata
System Verilog Assertions
Security and Hardware Monitors
Property Specification Language
Assertion Based Verification
system-on-chip
fabrication
compiler security
Metrics
tools
Layout
Runtime
composability
Hardware
Resiliency
pubcrawl
security
biblio
Twine: An Embedded Trusted Runtime for WebAssembly
Submitted by grigby1 on Fri, 07/29/2022 - 3:48pm
Runtime
outsourced database security
sqlite
outsourcing
SGX
Webassembly
TEE
Runtime environment
Metrics
C++ languages
Libraries
security
Databases
Cryptography
privacy
Scalability
Hardware
Software
Resiliency
resilience
Human behavior
pubcrawl
biblio
Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis
Submitted by grigby1 on Fri, 07/01/2022 - 7:29am
coding theory
static code analysis
configuration monitoring
code property graph
cloud security assessment
codes
Resiliency
Regulation
target tracking
Cloud Computing
Cloud Security
Ontologies
Metrics
Runtime
privacy
resilience
pubcrawl
security
biblio
Finding Runtime Usable Gadgets: On the Security of Return Address Authentication
Submitted by grigby1 on Mon, 06/06/2022 - 11:09am
security
pubcrawl
Resiliency
message authentication
authentication
Runtime
Compositionality
memory security
codes
Return address authentication
reuse attack
Information Reuse
biblio
AddrArmor: An Address-based Runtime Code-reuse Attack Mitigation for Shared Objects at the Binary-level
Submitted by grigby1 on Mon, 06/06/2022 - 11:09am
security
pubcrawl
Resiliency
Hardware
Instruments
Runtime
Compositionality
Performance analysis
Loading
codes
code-reuse attack
instrumentation
Information Reuse
biblio
Mixed-mode Information Flow Tracking with Compile-time Taint Semantics Extraction and Offline Replay
Submitted by aekwall on Thu, 05/19/2022 - 12:38pm
Servers
Anomaly Detection
pubcrawl
Metrics
composability
Semantics
Runtime
Memory management
taint analysis
application logic vulnerabilities
decoupled dynamic information flow tracking
Runtime library
static information flow tracking
taint propagation
target tracking
biblio
SecuCheck: Engineering configurable taint analysis for software developers
Submitted by aekwall on Thu, 05/19/2022 - 12:36pm
composability
Conferences
domain-specific languages
integrated development environment
Java
Metrics
pubcrawl
Runtime
security
Software
static analysis
taint analysis
tools
biblio
Low-overhead Solutions For Preventing Information Leakage Due To Hardware Trojan Horses
Submitted by grigby1 on Thu, 05/19/2022 - 12:03pm
Trojan horses
trojan horse detection
Information Leakage
CRC
mac
Microprocessors
Cyclones
Hardware Trojans
resource management
encryption
Runtime
composability
Hardware
FPGA
Resiliency
resilience
pubcrawl
biblio
One Layer for All: Efficient System Security Monitoring for Edge Servers
Submitted by grigby1 on Thu, 05/12/2022 - 9:51am
Virtual machining
Xen Mini-OS
virtual machine introspection
privilege separation
virtual machine security
unikernel
cyber physical systems
Intrusion Detection
operating systems
resilience
Cryptography
Libraries
Runtime
composability
Hardware
Resiliency
pubcrawl
Servers
security
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
