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
functional programming
biblio
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Submitted by aekwall on Mon, 01/11/2021 - 1:42pm
Haskell
tools
Scalability
Resiliency
reasoning
pubcrawl
programming languages
programming differentially private analyses
programming
private data analyses
privacy
Human behavior
taint analysis
functional programming
differential privacy
Databases
data privacy
data analysis
data analyses results
concentration bounds
composability
cognition
accuracy concentration
Accuracy
biblio
Detecting Input Sanitization Errors in Scala
Submitted by grigby1 on Thu, 07/09/2020 - 1:57pm
program diagnostics
taint analysis
static types
sensitive sink methods
security of data
ScalaTaint
Scalability
Scala programming language
Scala Compiler
Scala applications
Resiliency
resilience
pubcrawl
programming languages
Compositionality
privacy
object-oriented programming
input sanitization errors
Input Sanitization
Human Factors
Human behavior
high-level language
functional programming
Error
dynamic taint analyzer
Data Sanitization
data deletion
biblio
Evolutionary and swarm-intelligence algorithms through monadic composition
Submitted by aekwall on Mon, 01/27/2020 - 10:24am
pubcrawl
composability
Swarm Intelligence
open-source
Compositionality
Evolutionary algorithm
functional programming
monadic composition
reproducible
swarm-intelligence
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by grigby1 on Thu, 08/23/2018 - 11:57am
information-flow control tools
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
Information Leakage
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
data structures
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
security
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
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
Indexed Codata Types
Submitted by grigby1 on Tue, 03/07/2017 - 1:05pm
Coinduction
Dependent types
functional programming
Logical frameworks
pubcrawl170201
profile
Fred Seigneur
Architectures
Certification
Testing
Resilient Systems
Science of System Integration
Science of Security
Validation and Verification
Education
Foundations
functional programming
Network & Computer Security
operating systems
secure computing infrastructure
secure microkernel
Virginia