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
Webassembly
biblio
Compositional Information Flow Analysis for WebAssembly Programs
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
security
Servers
tools
Resiliency
Human behavior
standards
malware
static analysis
pubcrawl
static program analysis
W3C Standards
Webassembly
composabiity
biblio
Twine: An Embedded Trusted Runtime for WebAssembly
Submitted by grigby1 on Fri, 07/29/2022 - 4: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
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Submitted by grigby1 on Wed, 02/10/2021 - 1:12pm
pubcrawl
Human behavior
Metrics
resilience
Resiliency
Cryptography
Runtime
Browsers
Semantics
Systematics
Hash functions
Focusing
cryptomining
cryptojacking
Webassembly
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by aekwall on Mon, 12/02/2019 - 12:08pm
verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
program verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
formal verification
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
authoring languages
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
biblio
Digging into Browser-Based Crypto Mining
Submitted by grigby1 on Mon, 11/19/2018 - 12:16pm
blockchain
cryptocurrency
cryptojacking
Human behavior
malware
Metrics
mining
Monero
pubcrawl
resilience
Resiliency
Wasm
Webassembly
