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
permissions
biblio
Prevent Data Exfiltration on Smart Phones Using Audio Distortion and Machine Learning
Submitted by grigby1 on Mon, 01/10/2022 - 11:17am
Mobile Applications
Switches
side-channel attacks
Side-channel attack
Servers
Scalability
Resiliency
resilience
pubcrawl
permissions
operating systems
Mobile Security
android
Metrics
malware
machine learning
Human behavior
encryption
codes
Clipboard Jacking
Audio Jacking
Audio Distortion
android encryption
biblio
On the Effectiveness of Application Permissions for Android Ransomware Detection
Submitted by aekwall on Mon, 10/04/2021 - 12:54pm
malware
pattern locks
permissions
dataset
Data mining
applications
android
Accuracy
detection
Ransomware
security
Human behavior
Resiliency
Scalability
pubcrawl
feature extraction
Analytical models
Predictive models
internet
computer science
file
Coblenz_Obsidian_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
typestate
type systems
smart contracts
permissions
ownership
linearity
blockchain
alias control
Obsidian Language for Blockchain
biblio
Obsidian: Typestate and Assets for Safer Blockchain Programming
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:37pm
alias control
blockchain
linearity
ownership
permissions
smart contracts
type systems
typestate
CMU
Obsidian Language for Blockchain
2021: January
file
Coblenz_Can_Advanced_Type_Systems_Be_Usable_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:29pm
typestate
smart contracts
permissions
ownership
linear types
empirical studies of programming languages
blockchain
assets
Obsidian Language for Blockchain
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
Policy-Based Access Control for Robotic Applications
Submitted by grigby1 on Thu, 12/17/2020 - 12:38pm
privacy leakage
Service robots
security aspects
security
ROS
robots
robotic systems
robotic applications
Robot sensing systems
robot programming
robot operating systems
Robot Operating System
Resiliency
resilience
pubcrawl
Access Control
policy-based governance
Policy-based access control
permissions
operating systems
modern robots
Human Factors
Human behavior
extended policy-based access control model
data privacy
basic permission control mechanism
authorisation
Adaptation models
access control mechanism
biblio
An Intelligent Behavior-Based Ransomware Detection System For Android Platform
Submitted by aekwall on Mon, 03/23/2020 - 12:26pm
android encryption
Scalability
Resiliency
Human behavior
Metrics
Android ransomware
Androids
APIs
composability
encryption
feature extraction
Humanoid robots
permissions
pubcrawl
Ransomware
biblio
Cross-platform Access-rights Analysis of Mobile Applications
Submitted by grigby1 on Wed, 08/02/2017 - 12:53pm
android
composability
cross platform
dynamic analysis
ios
Mobile Applications
permissions
pubcrawl
Resiliency
static analysis
web of trust