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
Program processors
biblio
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Submitted by grigby1 on Tue, 12/20/2022 - 7:32pm
Program processors
Formal-Analysis
electronic-payment
user experience
W3C
Web Browser Security
Compositionality
web-security
Browsers
pubcrawl
Protocols
internet
Analytical models
Resiliency
resilience
Metrics
Human behavior
biblio
HyperTune: Dynamic Hyperparameter Tuning for Efficient Distribution of DNN Training Over Heterogeneous Systems
Submitted by grigby1 on Tue, 11/08/2022 - 11:52am
Task Analysis
neural network resiliency
Heterogeneous systems
dynamic tuning
DNN training
computational storage devices
distributed training
federated learning
Distributed databases
Training
Program processors
Resiliency
resilience
pubcrawl
Servers
Neural networks
Engines
biblio
A Compositional Cost Model for the λ-calculus
Submitted by aekwall on Fri, 08/12/2022 - 3:57pm
Computational modeling
computer science
Games
Semantics
Program processors
Random access memory
pubcrawl
Compositionality
Turing machines
biblio
When Function Signature Recovery Meets Compiler Optimization
Submitted by grigby1 on Fri, 08/12/2022 - 2:10pm
security
pubcrawl
Resiliency
optimization
privacy
composability
Program processors
Metrics
Task Analysis
compiler security
biblio
Split Compilation for Security of Quantum Circuits
Submitted by grigby1 on Fri, 08/12/2022 - 2:10pm
compiler security
Transpilation
Split
Overhead
obfuscation
Coupling Map
compilation
quantum computing
IP theft
reverse engineering
computer architecture
Software as a service
Metrics
Program processors
Routing
composability
Computers
Resiliency
pubcrawl
Logic gates
biblio
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks
Submitted by grigby1 on Fri, 08/12/2022 - 2:09pm
pubcrawl
Resiliency
Prototypes
composability
Program processors
side-channel attacks
Metrics
microcontrollers
embedded systems
compiler security
Processor scheduling
codes
compiler hardening
controlled-channel attacks
biblio
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Submitted by grigby1 on Fri, 08/12/2022 - 2:08pm
pubcrawl
Resiliency
Conferences
composability
Program processors
fuzzing
Computer bugs
Computer languages
Metrics
Degradation
compiler security
Focusing
compiler testing
program fuzzing
semantic fuzzing
biblio
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Submitted by grigby1 on Fri, 08/12/2022 - 2:08pm
pubcrawl
Resiliency
Safety
composability
Program processors
computer security
Metrics
secure compilation
full abstraction
compiler security
Picture archiving and communication systems
Capability machines
biblio
Towards a firmware TPM on RISC-V
Submitted by grigby1 on Thu, 08/04/2022 - 5:04pm
IoT security
trusted platform modules
Trusted Platform Module
processor
fTPM
edge security
Edge Processing
RISC-V
Trusted Computing
automotive security
security
Resistance
side-channel attacks
Program processors
composability
system-on-chip
Software
Resiliency
resilience
pubcrawl
biblio
Conversion of the Diffie-Hellman Key Exchange Algorithm Based on Elliptic Curve Equations to Elliptic Curve Equations with Private Parameters
Submitted by grigby1 on Thu, 05/05/2022 - 2:20pm
information science
Scalability
Resiliency
resilience
pubcrawl
Program processors
parameter algebra
Metrics
key distribution algorithm
Communications technology
Elliptic curves
Elliptic curve cryptography
elliptic curve
discrete logarithm
Diffie-Hellman
Cryptography
composability
Complexity theory
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
