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
type systems
biblio
Nontransitive Security Types for Coarse-grained Information Flow Control
Submitted by grigby1 on Thu, 04/29/2021 - 2:16pm
Labeling
type systems
Software
security types
security policies
policy-based governance
noninterference
Lattices
language-based security
object oriented security
Information Flow Control
History
computer security
Computer languages
pubcrawl
Metrics
composability
Resiliency
file
Coblenz_Obsidian_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3: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 - 3:37pm
alias control
blockchain
linearity
ownership
permissions
smart contracts
type systems
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
A Type System for Privacy Properties
Submitted by grigby1 on Wed, 09/05/2018 - 10:44am
Control Theory
Human behavior
human factor
privacy
Protocols
pubcrawl
resilience
Resiliency
Scalability
Symbolic models
type systems
biblio
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Submitted by grigby1 on Tue, 02/27/2018 - 2:34pm
composability
Compositionality
Computing Theory
JavaScript
pubcrawl
type systems
biblio
Differentially Private Bayesian Programming
Submitted by K_Hooper on Fri, 10/13/2017 - 10:32am
Bayesian learning
Computing Theory
differential privacy
Metrics
probabilistic programming
pubcrawl
Security Metrics
type systems
biblio
Staging Beyond Terms: Prospects and Challenges
Submitted by grigby1 on Tue, 03/07/2017 - 1:08pm
First-class modules
functional programming
Multi-stage programming
pubcrawl170201
Type optimization
type systems
pubcrawl
Science of Security
biblio
Statically typed string sanitation inside a python
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:47pm
CMU
extensible languages
input sanitation
Jan'15
Regular expressions
string sanitation
type systems
web security
CMU
Jan'15
file
Fulton_Statically_Typed_String_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:47pm
CMU
extensible languages
input sanitation
Jan'15
Regular expressions
string sanitation
type systems
web security
